debian/dirs
author mjsousa
Thu, 02 Jun 2016 11:59:45 +0100
changeset 1020 36fb9443b6ea
parent 106 0fff950e578e
permissions -rwxr-xr-x
fix bug introduced by commit 91bef6704b44 (parsing SFCs with transitions in ST and leading whitespace => endless loop)
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     1
usr/bin