debian/dirs
author laurent
Fri, 02 Sep 2011 18:16:33 +0200
changeset 348 990ecb883731
parent 106 0fff950e578e
permissions -rwxr-xr-x
Fix bugs in exponentiation
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     1
usr/bin