diff options
| author | Michael Muré <batolettre@gmail.com> | 2019-08-31 13:01:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-31 13:01:28 +0200 |
| commit | a9f278fdce2393e48f4d4b2029b5c0aa55056602 (patch) | |
| tree | 19a1a0770bb951bba6744f626e6396a790971fdd /bridge/core | |
| parent | fa12d5da72b5bf6c136ee8d922ffab4621ad1103 (diff) | |
| parent | c4accf5525e1a8247d15c7122a8c54fa5d34f9d2 (diff) | |
| download | git-bug-a9f278fdce2393e48f4d4b2029b5c0aa55056602.tar.gz | |
Merge pull request #210 from MichaelMure/cleaner-with-cancel
interrupt: allow to cancel a cleaner
Diffstat (limited to 'bridge/core')
0 files changed, 0 insertions, 0 deletions