0xboobface 76efd16c96 Change logfile name to server.log in server/logback.xml		2018-11-24 18:45:42 +01:00
..
logback.xml	Change logfile name to server.log in server/logback.xml	2018-11-24 18:45:42 +01:00