w0rp 60762d5018 Merge pull request #143 from w0rp/better-buffer-cleanup ...

Stop jobs when buffers close

2016-10-25 16:02:47 +01:00

..

ale.txt

Merge pull request #143 from w0rp/better-buffer-cleanup

2016-10-25 16:02:47 +01:00