prioritize vnode boxes
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 9 Apr 2013 12:44:40 +0000 (14:44 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 9 Apr 2013 12:44:40 +0000 (14:44 +0200)
commit7cd5f3d28f503d560611a55d2922ad1f15a61486
tree034aa6a31e0131901b320edf08a09dd23c846417
parent4a2b367ec2e00bff378c2a7a6cf7df0a8bde342c
prioritize vnode boxes
system/LocalSubstrate.inria.py