These are chat archives for
Sign in to start talking
General Gitter chat about whatever
May 19 2017 10:53
wherein I tried to look up "server.properties"
(no idea which work is it, anyway, but absolutely not mine)