use as many modules as possible from git
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 15 Nov 2011 16:57:09 +0000 (17:57 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 15 Nov 2011 16:57:09 +0000 (17:57 +0100)

No differences found