diff options
| author | Milo Mirate <[email protected]> | 2016-04-30 12:52:45 -0400 |
|---|---|---|
| committer | Rapptz <[email protected]> | 2016-04-30 23:00:22 -0400 |
| commit | 21c88cf727719f954a1b31dbae5b29e4bf61e4c8 (patch) | |
| tree | 6832d40247c1d158a5ea4d05c962acd0810a852c /discord/ext | |
| parent | Fix changing own nickname without manage_nicknames (diff) | |
| download | discord.py-21c88cf727719f954a1b31dbae5b29e4bf61e4c8.tar.xz discord.py-21c88cf727719f954a1b31dbae5b29e4bf61e4c8.zip | |
Make Permissions partially-ordered.
Specifically:
* P1 <= P2 iff P1 expresses a subset of the permissions expressed by P2.
* P1 < P2 iff P1 <= P2 and P1 != P2
* vice versa for P1 >= P2 and P1 > P2
Diffstat (limited to 'discord/ext')
0 files changed, 0 insertions, 0 deletions