debian/dirs
author Mario de Sousa <msousa@fe.up.pt>
Wed, 14 Nov 2012 18:37:42 +0000
changeset 731 151f0b57b4e4
parent 106 0fff950e578e
permissions -rwxr-xr-x
Print const values of symbol.
usr/bin