remove ubirmingham3 drtio ddb

pull/86/head
Sebastien Bourdeauducq 2022-07-15 17:45:34 +08:00
parent 99629db276
commit a410dd9c32
1 changed files with 0 additions and 6 deletions

View File

@ -192,12 +192,6 @@ let
"1" = "stfcsatellite";
};
};
ubirmingham3 = {
master = "ubirmingham3master";
satellites = {
"1" = "ubirmingham3satellite";
};
};
ustc5 = {
master = "ustc5master";
satellites = {