JFronny e7dbec0a77 Remove unneeded attempt at fixing an issue		2020-09-07 17:29:19 +02:00
..
ServerPropertiesHandlerMixin.java	Fix issues, still doesn't work outside of dev?	2020-09-07 17:22:06 +02:00