oops remove duplicate deathvegas
Thierry Parmentelat [Fri, 1 Feb 2013 17:37:52 +0000 (18:37 +0100)]
system/LocalSubstrate.inria.py

index 9c7e7c7..17fb664 100755 (executable)
@@ -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):