diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2017-04-17 08:49:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-17 08:49:15 +0100 |
| commit | dc72daaf1e154cb5b4a2d63bfdd5bbe01ad97fe0 (patch) | |
| tree | ddb67eed56246a789a6aa1c54c72071f16b56c28 /ale_linters/texinfo | |
| parent | 430bff7532c13f7eb0920dca0bbc796c45912f28 (diff) | |
| parent | dbf4f036076157ef8384a5889c20a019941c8749 (diff) | |
| download | ale-dc72daaf1e154cb5b4a2d63bfdd5bbe01ad97fe0.zip | |
Merge pull request #481 from jonsmithers/jshint-with-html
Make jshint work with html
Diffstat (limited to 'ale_linters/texinfo')
0 files changed, 0 insertions, 0 deletions