debian/dirs
author Mario de Sousa <msousa@fe.up.pt>
Mon, 16 Apr 2012 15:40:12 +0100
changeset 514 c2880eba49a1
parent 106 0fff950e578e
permissions -rwxr-xr-x
Fix printing of data type errors in while and repeat statements.
usr/bin