convenience script all-tests to run all available tests and store result
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 1 Nov 2015 09:53:03 +0000 (10:53 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 1 Nov 2015 10:03:43 +0000 (11:03 +0100)

No differences found