diff options
| author |  jesopo | 2018-12-20 16:28:14 +0000 |
|---|---|---|
| committer | jesopo | 2018-12-20 16:28:14 +0000 |
| commit | 2a84e18b2e23151657d12a7699ec926e34b2e8ee (patch) | |
| tree | 06426b2484222328e23003fe2e5e1854a7f5940a /modules/github.py | |
| parent | We should be checking if a channel name is in server.channels, not server (diff) | |
| signature | ||
first commit of badge system
Diffstat (limited to 'modules/github.py')
0 files changed, 0 insertions, 0 deletions