be more flexible in the accepted inputs
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 18 Oct 2010 14:06:12 +0000 (16:06 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 18 Oct 2010 14:06:12 +0000 (16:06 +0200)

No differences found