debian/dirs
author etisserant
Tue, 19 Aug 2008 18:03:11 +0200
changeset 137 9ceda59abd27
parent 106 0fff950e578e
permissions -rw-r--r--
Re-organized types headers, to ease debug code generation
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     1
usr/bin