do not use plain tarballs anymore for installing
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 24 Jun 2015 14:41:33 +0000 (16:41 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 24 Jun 2015 14:41:33 +0000 (16:41 +0200)
commit19ced20616367c5705c9976122ad03767a1d8c84
treeab2154e915b06882c3c55a2add9a930e0d0017e3
parent8a79bf198b710742b8bce1a94d83f19fb39792ee
do not use plain tarballs anymore for installing
system/config_default.py