mirror of
https://github.com/Rapptz/discord.py.git
synced 2025-05-07 22:39:50 +00:00
- Document `options` for AppCommand - Remove `choices` and `required` from AppCommandGroup - Rename `arguments` to `options` since it can include `AppCommand` and `AppCommandGroup`.