debian/dirs
author laurent
Mon, 16 May 2011 12:36:21 +0200
changeset 293 e53b93cd90e4
parent 106 0fff950e578e
permissions -rwxr-xr-x
Merged with Edouard's modifications
usr/bin