debian/dirs
author Mario de Sousa <msousa@fe.up.pt>
Tue, 13 Mar 2012 18:29:34 +0000
changeset 479 a174d61f2087
parent 106 0fff950e578e
permissions -rwxr-xr-x
Re-organizing the code.
usr/bin