diff options
| author | w0rp <devw0rp@gmail.com> | 2018-09-03 13:59:56 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-09-03 13:59:56 +0100 |
| commit | fddbfdef12db62d9dd8f55ef659967817c749930 (patch) | |
| tree | c04a1b7f5a765c3a731dbc0ce01c85fbbda063ce /ale_linters/help | |
| parent | a746ea2bfc1e01b9455d9efec3e95799be4177f2 (diff) | |
| download | ale-fddbfdef12db62d9dd8f55ef659967817c749930.zip | |
#1875 Do not lint and so on when an operator is pending
Diffstat (limited to 'ale_linters/help')
0 files changed, 0 insertions, 0 deletions