luukas 5a5cd65d4f Sort server types, I suffered a lot while doing this		2021-06-02 21:17:50 +03:00
..
mc_ping.py	Port/ip-get patched	2021-03-09 16:57:45 -05:00
server_props.py	scheduler, version change, database work, controller init servers, etc etc	2020-08-16 22:47:53 -04:00
serverjars.py	Sort server types, I suffered a lot while doing this	2021-06-02 21:17:50 +03:00
stats.py	Merge branch 'backups-and-stuff' into dev	2021-03-21 23:32:48 -05:00