debian/dirs
author mjsousa
Sun, 16 Mar 2014 10:16:25 +0000
changeset 877 c25346eac788
parent 106 0fff950e578e
permissions -rwxr-xr-x
Insert #line directives in generated C code.
usr/bin