debian/dirs
author Mario de Sousa <msousa@fe.up.pt>
Fri, 09 Nov 2012 14:34:36 +0000
changeset 724 d19877568878
parent 106 0fff950e578e
permissions -rwxr-xr-x
Check for errors in enum datatype declarations. (This is not yet complete as it will not yet stop the compilation process if these errors are found)
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     1
usr/bin