debian/dirs
author Laurent Bessard
Fri, 08 Mar 2013 02:00:36 +0100
changeset 800 2481fffe6e58
parent 106 0fff950e578e
permissions -rwxr-xr-x
Fixed bug in case statement with enumerated type variable as case expression
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     1
usr/bin