diff options
| author |  jesopo | 2019-07-09 11:14:05 +0100 |
|---|---|---|
| committer | jesopo | 2019-07-09 11:14:05 +0100 |
| commit | 32fa999c78801d996a39cfb90fa628271eb7d9ed (patch) | |
| tree | cc4ee8c79b229859a43faef60d5523088b04e7de /docs | |
| parent | Show new label for PR 'labeled' events (diff) | |
| signature | ||
Allow Timer objects to be cancelled
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions