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