debian/dirs
author mjsousa
Tue, 11 Feb 2014 10:55:27 +0000
changeset 864 300c27c08753
parent 106 0fff950e578e
permissions -rwxr-xr-x
merge
usr/bin