disable mpik

pull/37/head
Robert Jördens 2020-12-17 18:34:58 +01:00
parent 718230f12a
commit 2f2ed2b68e
1 changed files with 0 additions and 1 deletions

View File

@ -42,7 +42,6 @@ let
"mitll3"
"mitll4master"
"mitll4satellite"
"mpik"
"mpq"
"nict"
"nist"