diff options
| author |  jesopo | 2019-03-01 21:20:19 +0000 |
|---|---|---|
| committer | jesopo | 2019-03-01 21:20:19 +0000 |
| commit | 88a28352b805854ea117d9e8c145cbf9d9d26401 (patch) | |
| tree | da99bf165b32a632b7afc784bee41a4c82ced718 /modules/timer.py | |
| parent | Capitalise 'PR' in issue_comment events for pull requests (github) (diff) | |
| signature | ||
Add a setting to hide github repo names
Diffstat (limited to 'modules/timer.py')
0 files changed, 0 insertions, 0 deletions