diff options
| author |  jesopo | 2018-11-07 11:47:54 +0000 |
|---|---|---|
| committer | jesopo | 2018-11-07 11:47:54 +0000 |
| commit | d961416401e7c5f7788e038498ad5a62bccb9c62 (patch) | |
| tree | 676f2b4eac0ef82b3cf360b229a23e87b850953f /modules/admin.py | |
| parent | Hide [Github] prefix in modules/github.py (diff) | |
| signature | ||
Color "merged" and "closed without merging" in green and red respectively
Diffstat (limited to 'modules/admin.py')
0 files changed, 0 insertions, 0 deletions