diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2017-05-15 20:58:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-15 20:58:06 +0100 |
| commit | 42155049a5fa0a44a2c4b24993eb045ec6a1c525 (patch) | |
| tree | 3aed12c758ce6f112dd3e7c5c516dc2087f67c34 /doc/ale.txt | |
| parent | 11a50b25807d7730adb42575d72f990fb8c32a7b (diff) | |
| parent | 9baae52d1afab8af832c4249eefc19e7dd28a251 (diff) | |
| download | ale-42155049a5fa0a44a2c4b24993eb045ec6a1c525.zip | |
Merge pull request #551 from meunierd/add-checkstyle-linter
Add checkstyle linter
Diffstat (limited to 'doc/ale.txt')
| -rw-r--r-- | doc/ale.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index c5411fc9..85dc6d20 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -39,6 +39,7 @@ CONTENTS *ale-contents* htmlhint............................|ale-html-htmlhint| tidy................................|ale-html-tidy| java..................................|ale-java-options| + checkstyle..........................|ale-java-checkstyle| javac...............................|ale-java-javac| javascript............................|ale-javascript-options| eslint..............................|ale-javascript-eslint| |