Compare commits

..

No commits in common. "c31b0144d3b4aedcbd81adc85bc0218a25491b3b" and "571cfbd8a6ec6f8f87d397847c3bed23b2677375" have entirely different histories.

1 changed files with 2 additions and 12 deletions

View File

@ -38,7 +38,6 @@ let
"hub"
"hw"
"innsbruck2"
"innsbruck3"
"ist"
"liaf"
"luh2"
@ -62,12 +61,11 @@ let
"oregon"
"osaka"
"ptb"
"ptb3master"
"ptb3satellite"
"ptb2"
"ptb3"
"ptb4"
"ptb5"
"ptb6"
"ptb7"
"ptbal"
"ptbin"
"purpleberry"
@ -97,8 +95,6 @@ let
"hw2master"
"hw2satellite"
"luh"
"ptb3master"
"ptb3satellite"
"purduemaster"
"purduesatellite"
"siom"
@ -179,12 +175,6 @@ let
"1" = "hw2satellite";
};
};
ptb3 = {
master = "ptb3master";
satellites = {
"1" = "ptb3satellite";
};
};
purdue = {
master = "purduemaster";
satellites = {