debian/dirs
author mjsousa
Sun, 30 Nov 2014 10:27:28 +0000
changeset 956 513809fbfaf9
parent 106 0fff950e578e
permissions -rwxr-xr-x
Make use of pre-parser a command line option.
usr/bin