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