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 /.gitignore | |
| parent | 45c2d6b580e8e4bfe73412667268c48a3034caf5 (diff) | |
| download | ale-5d5ba2a7802b67515dd27df80d76b3f265c07624.zip | |
#427 Allow linters and aliases to be configured in buffer local variables
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions