remove wipm7 ddb

12 months ago · bbb883ed82
parent f819d41a77
commit bbb883ed82
1 changed files with 0 additions and 6 deletions
--- a/artiq-full.nix
+++ b/artiq-full.nix
@ -210,12 +210,6 @@ let
              "1" = "ustc5satellite";
            };
          };
-          wipm7 = {
-            master = "wipm7master";
-            satellites = {
-              "1" = "wipm7satellite";
-            };
-          };
        ''}
      };
      drtio-ddbs = pkgs.lib.attrsets.mapAttrs'