[Plugin Request] Server.Properties In-Game Editor [1.8 - 1.13]

Name: Server.Properties In-Game Editor [1.8 - 1.13]

Link: https://www.spigotmc.org/resou…me-editor-1-8-1-13.58583/

Descreption:

This plugin allows us to edit the server.properties file from within the game.

Why do I want this plugin?

Because there is no server.properties file in the aternos, but there are some settings there, so we can't edit it in detail.