diff options
| author |  jesopo | 2019-06-21 11:14:10 +0100 |
|---|---|---|
| committer | jesopo | 2019-06-21 11:14:10 +0100 |
| commit | 01438f28f624bbec090c923943d255a09a789eb6 (patch) | |
| tree | 21d63c509546d09fc83cb71de489cb00516d92f5 /modules/github/__init__.py | |
| parent | Show which server a label warning is for (diff) | |
check we have a mode before trying to remove it
Diffstat (limited to 'modules/github/__init__.py')
0 files changed, 0 insertions, 0 deletions