renumberd kvm64 boxes
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 28 Jan 2014 12:13:36 +0000 (13:13 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 28 Jan 2014 12:13:36 +0000 (13:13 +0100)
commite3b5672f2ca7b1046655fdc9d0fe6793afb61600
tree101930e6f415e492dff625ef0c27fdd407d3b98b
parentc830aef6dfa1a9264c078d21769d61114b7d6039
renumberd kvm64 boxes
system/LocalSubstrate.inria.py