debian/dirs
author Mario de Sousa <msousa@fe.up.pt>
Fri, 01 Apr 2011 10:06:19 +0100
changeset 264 6facabd9c2cd
parent 106 0fff950e578e
permissions -rwxr-xr-x
Updating License info (with Edoaurd's permission for relevant files).
usr/bin