oops myslice and manifold for now need pldistro=onelab
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 23 May 2013 14:36:11 +0000 (16:36 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 23 May 2013 14:36:11 +0000 (16:36 +0200)
commit4ba2fd8088f5b8e3fbec60633a421e45fa52f869
tree2c527f92b7a12f9d08d370be2dac9172b122bf12
parent4c85f3fcf526b84cafaa798952f4b1157bf2abc3
oops myslice and manifold for now need pldistro=onelab
scripts/builds.sh