Luck 921bfbae87 Add missing getters to ServerPing and rename Modinfo --> ModInfo		2018-09-20 14:59:34 +01:00
..
src	Add missing getters to ServerPing and rename Modinfo --> ModInfo	2018-09-20 14:59:34 +01:00
build.gradle	Massively improved Javadoc coverage to prepare for Javadoc site.	2018-08-25 00:29:22 -04:00