From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 1 Feb 2013 17:37:52 +0000 (+0100)
Subject: oops remove duplicate deathvegas
X-Git-Tag: tests-5.1-10~10
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=1929219143c68aa68cb397810d50d3f152140dff;p=tests.git

oops remove duplicate deathvegas
---

diff --git a/system/LocalSubstrate.inria.py b/system/LocalSubstrate.inria.py
index 9c7e7c7..17fb664 100755
--- a/system/LocalSubstrate.inria.py
+++ b/system/LocalSubstrate.inria.py
@@ -20,7 +20,7 @@ class OnelabSubstrate (Substrate):
 
    # the build boxes we use 
    def build_boxes_spec (self):
-      return [ 'liquid', 'reed', 'velvet', 'gorillaz', 'deathvegas' ]
+      return [ 'liquid', 'reed', 'velvet', 'gorillaz' ]
 
    # the vs-capable box for PLCs
    def plc_vs_boxes_spec (self):