Unfortunately it is currently not allowed to edit, remove, or add a/the server.properties file on Minehut. To change settings about your server, you can do the following:
1) Press "ACTIVATE" on the server
2) Press "EDIT SERVER" or "CONTINUE" to go to your main server editor
3) Go to the "SETTINGS" tab which can be found from the top
There will be a lot of "boxes" as I call it which allows you to change different settings on your server. I suggest checking them out and also investigating and looking around in the server panel itself to find out what other things you can do.
Hope this helps!