diff options
| author |  jesopo | 2019-02-04 10:17:27 +0000 |
|---|---|---|
| committer | jesopo | 2019-02-04 10:17:27 +0000 |
| commit | e2d60a541c9398d293767befcff2d6b1300598a5 (patch) | |
| tree | 035bd149da02a509350b4cd06fd28d6dda9630fb /modules/timer.py | |
| parent | We don't need to enumerate hooks (github) (diff) | |
| signature | ||
Try to match against full repository name first, so that we can make specific
rules for specific repositories (github)
Diffstat (limited to 'modules/timer.py')
0 files changed, 0 insertions, 0 deletions