asie 33e2884035 port server.config		2018-10-25 22:36:50 +02:00
..
config	port server.config	2018-10-25 22:36:50 +02:00
dedicated	recipe, etc. work	2018-10-25 22:01:57 +02:00
rcon	port server.config	2018-10-25 22:36:50 +02:00
IntegratedServer.mapping	recipe, etc. work	2018-10-25 22:01:57 +02:00
IntegratedServerConfigurationManager.mapping	18w43b initial migration, 99% likely to not work	2018-10-24 21:40:05 +02:00
LanServerPinger.mapping	18w43b initial migration, 99% likely to not work	2018-10-24 21:40:05 +02:00
MinecraftServer.mapping	port server.config	2018-10-25 22:36:50 +02:00