debian/dirs
author mjsousa
Sat, 29 Nov 2014 20:32:11 +0000
changeset 953 66697c05a147
parent 106 0fff950e578e
permissions -rwxr-xr-x
Fix bug introduced when adding support for relaxed datatype model: change derived_datatype_identifier_c to identifier_c when used as an identifier
usr/bin