Luck 1ebed37297 Remove use-server-properties-name option ... This was removed from Minecraft 1.14, and isn't something I feel was ever really necessary to support.		2019-05-11 23:17:59 +01:00
..
main	Remove use-server-properties-name option	2019-05-11 23:17:59 +01:00