merged from trunk
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 20 Feb 2009 22:29:24 +0000 (22:29 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 20 Feb 2009 22:29:24 +0000 (22:29 +0000)
commit5da5e572d6da61702c5fb9f863466afa445504d4
treed75eaf7dcf4f6b8bf18db0476177b46dfcf296b3
parent9c8077caba8e73a097733c9cf1e6ea533e8f23ef
merged from trunk
module-tools.py