Update servers.json (#1989)

* Update servers.json * added a record to server name. Server has moderation, logging of user actions with /history, custom maps. Ready for players.
2020-05-05 14:46:53 -04:00
parent 346ac88009
commit 98f012feb8
1 changed files with 3 additions and 0 deletions
@@ -43,5 +43,8 @@
  },
  {
    "address": "mindustry.kr"
  },
  {
    "address": "mindustry.atannergaming.com"
  }
 ]