debian/dirs
author Mario de Sousa <msousa@fe.up.pt>
Wed, 13 Feb 2019 14:40:26 +0000
changeset 1087 d9e47e018320
parent 106 0fff950e578e
permissions -rwxr-xr-x
add default NULL value to references (as suggested by anonymous in issue 62)
(Not really needed, but it is good practise...)
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     1
usr/bin