The plugin that was used at mindustry.io
Go to file
Volas171 f377d760f7 even h 2020-12-06 22:12:45 +00:00
.gitattributes h 2020-12-06 21:59:46 +00:00
.gitignore h 2020-12-06 21:59:46 +00:00
BotThread.java even h 2020-12-06 22:12:45 +00:00
CONTRIBUTORS.MD h 2020-12-06 21:59:46 +00:00
LICENSE Initial commit 2020-12-06 21:58:42 +00:00
ModeratorCommands.java even h 2020-12-06 22:12:45 +00:00
PublicCommands.java even h 2020-12-06 22:12:45 +00:00
README.md hfd 2020-12-06 22:00:17 +00:00
build.gradle h 2020-12-06 21:59:46 +00:00
gradlew h 2020-12-06 21:59:46 +00:00
gradlew.bat hfd 2020-12-06 22:00:17 +00:00
ioMain.java even h 2020-12-06 22:12:45 +00:00
mod.json even h 2020-12-06 22:12:45 +00:00

README.md

Information

The plugin's general purpose is to prevent griefers and make moderation easier. If you wish to help developing the plugin, feel free!

Credits

The original discordplugin was made by J-VdS, you can visit his repository here: https://github.com/J-VdS/DiscordPlugin

no longer applies due to the whole thing being reworked and closed source

Notice:

this is a outdated version since they stopped making it opensource hmm i wonder why

Anyways , for precompiled binaries check actions tab.

Setup:

you will need a settings.json at mod directory ,the content on the .json is unknown but if you understand enough you can make your own by reading the code.