debian/dirs
author Manuele Conti <conti.ma@alice.it>
Wed, 06 Jun 2012 00:20:06 +0200
changeset 566 5688fa07f89a
parent 106 0fff950e578e
permissions -rwxr-xr-x
Update constant folding: fixing minor bug.
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     1
usr/bin