debian/dirs
author Mario de Sousa <msousa@fe.up.pt>
Tue, 13 Nov 2012 18:03:17 +0000
changeset 726 9b61eb4f00dc
parent 106 0fff950e578e
permissions -rwxr-xr-x
Change the base datatype of enumerations to an enumerated_type_declaration_c (for named types!)
usr/bin