debian/dirs
author Edouard Tisserant
Thu, 04 Apr 2013 09:45:11 +0900
changeset 813 0630cc31569f
parent 106 0fff950e578e
permissions -rwxr-xr-x
Merged Mario's changes
usr/bin