diff options
| author | w0rp <devw0rp@gmail.com> | 2019-02-14 10:10:46 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2019-02-14 10:10:46 +0000 |
| commit | 7487ecb957b0e8770b2939a0ab95f83baa28e614 (patch) | |
| tree | d122df4bd53fa2992ed4568eb1cf726e680c0f6c /doc/ale-texinfo.txt | |
| parent | 3140abcd0cc681ac53d59b290c1b29f534f572fb (diff) | |
| download | ale-7487ecb957b0e8770b2939a0ab95f83baa28e614.zip | |
Simplify code for marking linters as active
Diffstat (limited to 'doc/ale-texinfo.txt')
0 files changed, 0 insertions, 0 deletions