distributorium rename to .pl (#7182)

this has already been discussed by us and does not need comment confirmation
2022-07-16 19:31:20 +04:00
parent 8383d151a3
commit f34ec77312
1 changed files with 1 additions and 1 deletions
--- a/servers_v7.json
+++ b/servers_v7.json
@@ -1,6 +1,6 @@
 [
  {
-    "name": "distributorium",
+    "name": "mindustry.pl",
    "address": ["0.baseduser.eu.org:6966", "0.baseduser.eu.org:6666", "0.baseduser.eu.org:6000"]
  },
  {