diff options
| author | Justin Howard <jmhoward0@gmail.com> | 2018-11-04 02:35:21 -0800 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2018-11-04 10:35:21 +0000 |
| commit | 88d328739f73c98794f05fb624edf1cd4b147abe (patch) | |
| tree | 9a4cae6f4d727289d9355de0dbb561996a5268df /doc | |
| parent | 9171791646d14d2c58ec87377e711e1116d995e5 (diff) | |
| download | ale-88d328739f73c98794f05fb624edf1cd4b147abe.zip | |
Allow configuration of hamllint executable (#2048)
* Allow configuration of hamllint executable
The hamllint executable was hard-coded, preventing it from being
overridden. Fix the executable to be dynamic to allow custom executable
paths.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions