Update DEVTools.md

This commit is contained in:
nbats 2021-10-04 20:39:23 -07:00 committed by GitHub
parent e41ba56287
commit 0c2cb5fd87
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -136,6 +136,7 @@
* [Discord Developer Portal](https://discord.com/developers/docs/topics/community-resources) - *Integrate Services with Discord*
* [CodeBlockLang](https://hastebin.com/usofubagoh.ts) - *Discord Code Blocks*
* [Discord4J](https://discord4j.com/) or [Diskord](https://diskord-dev.github.io/) / [GitHub](https://github.com/diskord-dev/diskord) - *Discord API Wrapper*
* [Discord-panel](https://github.com/Notavone/discord-panel) - *Discord Bot Server Manager*
* [Javacord](https://javacord.org/) - *Discord Bot Creation Library*
* [Sleepy Discord](https://github.com/yourWaifu/sleepy-discord) - *C++ Library for Discord*
* [reddit-moderator-toolbox](https://github.com/toolbox-team/reddit-moderator-toolbox) - *Toolbox for Reddit Extension Development*