debian/dirs
author Mario de Sousa <msousa@fe.up.pt>
Mon, 18 Jun 2012 15:37:37 +0100
changeset 598 0b1ee7e7123b
parent 106 0fff950e578e
permissions -rwxr-xr-x
Fix stupid typos (in calculating array dimension)!
usr/bin