diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2017-04-28 17:06:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-28 17:06:38 +0100 |
| commit | e417dafa780aa62b5b5aed53956bd73a524f9758 (patch) | |
| tree | 8cea3cad9a08f7820136348183b5b89aa75f3fb9 /test | |
| parent | 944564bb8c5d9d6d3fdc4a96982586bf27d5031d (diff) | |
| parent | 7230cbe9e43d64a02212ae4803abff874e39b8d6 (diff) | |
| download | ale-e417dafa780aa62b5b5aed53956bd73a524f9758.zip | |
Merge pull request #514 from adriaanzon/buffer-local-options-doc
Add tags for buffer-local variants of each linter option
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions