Don't copy internal server names to the repo

This commit is contained in:
2026-02-27 20:23:04 +01:00
parent 474cfd65b2
commit b243aa96ba

1
.gitignore vendored Normal file
View File

@@ -0,0 +1 @@
copy_to_servers.ini