Rename config file
Closed this issue · 0 comments
Kiyotoko commented
Describe the problem
Different implementations have different names for the config file. The current file name (default_config.ini) does not comply with the discord voting (config.ini)
Additional context
This problem was first mentioned on discord.
Welchen Namen findet ihr am besten?
- server.ini
- settings.ini
- config.ini
- Anderer Name
The third option won with three votes.