debian/dirs
author mjsousa
Sun, 28 Dec 2014 22:20:08 +0000
changeset 981 aad6aa35ce60
parent 106 0fff950e578e
permissions -rwxr-xr-x
Disable constant propagation again (still not working correctly)
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     1
usr/bin