debian/dirs
author Mario de Sousa <msousa@fe.up.pt>
Sun, 09 Apr 2017 23:43:04 +0100
changeset 1038 036f15e4041d
parent 106 0fff950e578e
permissions -rwxr-xr-x
Allow use of GLOBAL/EXTERNAL variables as control variable of FOR loop.
usr/bin