Remove kr server (#2134)

2020-06-02 19:00:43 -04:00
parent 789cc3cdb9
commit 86b769bd27
1 changed files with 0 additions and 3 deletions
@@ -41,9 +41,6 @@
  {
    "address": "aamindustry.play.ai"
  },
-  {
-    "address": "mindustry.kr"
-  },
  {
    "address": "mindustry.atannergaming.com"
  },