debian/dirs
author mjsousa
Wed, 21 Aug 2013 16:08:50 +0100
changeset 836 149398f525a7
parent 106 0fff950e578e
permissions -rwxr-xr-x
make sure all IL operands are narrowed (datatype checking algorithm)
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     1
usr/bin