debian/dirs
author Mario de Sousa <msousa@fe.up.pt>
Fri, 21 Sep 2012 09:54:10 +0100
changeset 660 9565d7d944ce
parent 106 0fff950e578e
permissions -rwxr-xr-x
Also check external/global variable consistency in configurations and FBs.
usr/bin