diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2016-10-25 16:02:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-25 16:02:47 +0100 |
| commit | 60762d501872ec159c8851741f9435aa1bbf491b (patch) | |
| tree | 7989e480c1a58b5a0456e370204eb054f57360ee /README.md | |
| parent | 222d9e69083c7f068714901bd163ca18b8450de3 (diff) | |
| parent | 73c9a1f96539481536de56fa2bd4c005c1af15ed (diff) | |
| download | ale-60762d501872ec159c8851741f9435aa1bbf491b.zip | |
Merge pull request #143 from w0rp/better-buffer-cleanup
Stop jobs when buffers close
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions