NorbiPeti f1cec2ced1 Update to Java 10/11 & fake player remove ... Apparently		2019-10-20 20:50:29 +02:00
..
java/buttondevteam/discordplugin	Update to Java 10/11 & fake player remove	2019-10-20 20:50:29 +02:00
resources	Automatically get client ID for link, improvements	2019-08-26 22:26:10 +02:00