Who knows, how to edit "server.properties" file manually? I want to change some values in this file. Downloading world only downloads "world" folder.
The Aternos forums are now deprecated
Learn more about this change here.
For help regarding Aternos, we recommend you to visit our support center.