debian/dirs
author lbessard
Fri, 18 Jul 2008 14:44:07 +0200
changeset 133 fff75b8283be
parent 106 0fff950e578e
permissions -rw-r--r--
Some bugs on syntax checking tests fixed
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     1
usr/bin