estran : max vnodes 3->2, too small disk
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 22 Sep 2014 14:30:03 +0000 (16:30 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 22 Sep 2014 14:30:03 +0000 (16:30 +0200)
commitd877bf4d95cecaa52b404cf02f6b2103b2334c05
treea34970f1e6c4fd6c20a63c930451fe9f6669e055
parent600876dcca784ebe3c4fbeae39972e86c5df9293
estran : max vnodes 3->2, too small disk
system/LocalSubstrate.inria.py