debian/dirs
author Manuele Conti <conti.ma@alice.it>
Tue, 12 Jun 2012 22:32:09 +0200
changeset 587 1ecf916cc397
parent 106 0fff950e578e
permissions -rwxr-xr-x
Fix extract_integer_value.
Now we handle signed and unsigned in different mode.
(Thanks to Andreas)
usr/bin