debian/dirs
author mjsousa
Fri, 26 Dec 2014 17:06:02 +0000
changeset 975 3604464aa80e
parent 106 0fff950e578e
permissions -rwxr-xr-x
Add checks for use of non constant value in subranges, and lower_limit > upper_limit.
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     1
usr/bin