debian/dirs
author Mario de Sousa <msousa@fe.up.pt>
Tue, 19 Apr 2011 09:36:59 +0100
changeset 296 9cf0d701d211
parent 106 0fff950e578e
permissions -rwxr-xr-x
Adding fflush capabilities. It is sometimes usefull when debuging the compiler...
usr/bin