debian/dirs
author mjsousa
Sat, 31 May 2014 12:49:43 +0100
changeset 896 c1cf7259160d
parent 106 0fff950e578e
permissions -rwxr-xr-x
Remove dead code previously left in by mistake.
usr/bin