diff options
| author |  jesopo | 2019-04-27 14:51:26 +0100 |
|---|---|---|
| committer | jesopo | 2019-04-27 14:51:26 +0100 |
| commit | a5f8bb7d3df87e819384137e40052fe86a8ad2bc (patch) | |
| tree | ab0387a8b1e3cf3b22167c23bdebf2facced6248 /modules/timer.py | |
| parent | Use is-ignored export in sed.py to allow ignoring users from sed (diff) | |
| signature | ||
Use is-ignored export in karma to allow ignoring users for karma
Diffstat (limited to 'modules/timer.py')
0 files changed, 0 insertions, 0 deletions