debian/dirs
author laurent
Mon, 06 Jun 2011 16:28:41 +0200
changeset 314 41d4ac0b4821
parent 106 0fff950e578e
permissions -rwxr-xr-x
Fixing REAL_TO_INT conversion (behaved like a trunc and not like a round)
usr/bin