debian/dirs
author mjsousa <msousa@fe.up.pt>
Wed, 09 May 2012 21:46:21 +0100
changeset 542 8f5d9916820d
parent 106 0fff950e578e
permissions -rwxr-xr-x
Remove file (used for old method of supporting standard functions).
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     1
usr/bin