diff options
author | w0rp <devw0rp@gmail.com> | 2017-04-25 23:52:13 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-04-25 23:52:13 +0100 |
commit | 5d5ba2a7802b67515dd27df80d76b3f265c07624 (patch) | |
tree | ab8224cdc09120b4e4456e9175bc3c8a038fba1d /ale_linters/tex | |
parent | 45c2d6b580e8e4bfe73412667268c48a3034caf5 (diff) | |
download | ale-5d5ba2a7802b67515dd27df80d76b3f265c07624.zip |
#427 Allow linters and aliases to be configured in buffer local variables
Diffstat (limited to 'ale_linters/tex')
0 files changed, 0 insertions, 0 deletions