get rid of extra prints
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 6 Feb 2010 13:49:11 +0000 (13:49 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 6 Feb 2010 13:49:11 +0000 (13:49 +0000)
commit885b7c070ffa1010a75cf0e83179d5c575c9f650
treefbaf2443f107bb160e90e30ec7984d055cd6fe46
parent15f8cedb8d82705b3044d8a6c5ddf8cf51966758
get rid of extra prints
module-tools.py