diff options
author | Daniel Lupu <lupu.daniel.f@gmail.com> | 2017-02-09 20:47:14 +0200 |
---|---|---|
committer | w0rp <w0rp@users.noreply.github.com> | 2017-02-09 18:47:14 +0000 |
commit | 6dfed8576e881c71f242c6d8d9a2502f0bb50f99 (patch) | |
tree | 0ee224fb962a694de39820d64a9b8b6a59febd00 /ale_linters/python | |
parent | 943fe9b4b0faa2d011694cea113b0ef44713a586 (diff) | |
download | ale-6dfed8576e881c71f242c6d8d9a2502f0bb50f99.zip |
add ALEToggle command (#303)
* add ALEToggle command
* stop active jobs when toggled off
* small logic cleanup & ensure ale can be ran manually while toggled off
Diffstat (limited to 'ale_linters/python')
0 files changed, 0 insertions, 0 deletions