fix all-tests tests
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 1 Nov 2015 11:06:44 +0000 (12:06 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 1 Nov 2015 11:06:44 +0000 (12:06 +0100)
commit1e573659f1dbbcc46112617951b7c55dfae58922
tree7ad89ebbc033b380d210cad8e0f20e2c084d74ed
parent3828dc46494f2d77c8c7ec1e1ec45d2985fc71a4
fix all-tests
all-tests