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