debian/dirs
author laurent
Tue, 07 Feb 2012 20:20:19 +0100
changeset 402 ffa2afab2806
parent 106 0fff950e578e
permissions -rwxr-xr-x
Merge with Edouard's modifications
usr/bin