diff options
| author |  jesopo | 2019-01-30 11:37:29 +0000 |
|---|---|---|
| committer | jesopo | 2019-01-30 11:37:29 +0000 |
| commit | c822a1afd6b02e46578b227066f799deff1bd9b7 (patch) | |
| tree | e23de94649100355cb74a7531a979973da91eee3 /src/EventManager.py | |
| parent | We need to turn `channel_arg` in to an int (channel_access.py) (diff) | |
Check min_args before we check if a user has permission (commands.py)
Diffstat (limited to 'src/EventManager.py')
0 files changed, 0 insertions, 0 deletions