run plain python3, not -u
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 4 Apr 2015 09:09:37 +0000 (11:09 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 4 Apr 2015 09:09:37 +0000 (11:09 +0200)
commita282e2482919a2d93dc0c94db64b431748137236
tree1c29c7d45eca6dc90d8b1f04228de2c26b913793
parent87c03eb8fdb265ee1fbf9f8b0456867afc4cbacb
run plain python3, not -u
module-tools.py