Closed bassosimone closed 9 years ago
This pull request updates the server.properties file to the last version used by Giuseppe in his development machine.
server.properties
Discussed with and ok by @giuseppefutia.
This pull request updates the
server.propertiesfile to the last version used by Giuseppe in his development machine.Discussed with and ok by @giuseppefutia.