move to another box
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 25 Feb 2015 15:34:50 +0000 (16:34 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 25 Feb 2015 15:34:50 +0000 (16:34 +0100)
commit0cdcaadc2261884905d38308ce847217127297dd
treeb3b95da786c60c73eeb310b0bc34eb0a6dda005f
parent78d6b5123129ea1f63df64b944ea1a027d1dfd6f
move to another box
system/LocalSubstrate.inria.py