diff options
author | yohei yoshimuta <yoheimuta@gmail.com> | 2021-04-09 22:16:23 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-09 22:16:23 +0900 |
commit | cec9954d016e4d388cd6a9abed798de7f330d185 (patch) | |
tree | c060a1b598d161da466c6ef78f4442b44a6f1bc3 /doc/ale.txt | |
parent | f0887d3e6178482255f11aa378124aef3699245f (diff) | |
download | ale-cec9954d016e4d388cd6a9abed798de7f330d185.zip |
feat: Add protolint as linter and fixer (#2911)
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 682db80d..96069d5a 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -2918,6 +2918,7 @@ documented in additional help files. swipl.................................|ale-prolog-swipl| proto...................................|ale-proto-options| protoc-gen-lint.......................|ale-proto-protoc-gen-lint| + protolint.............................|ale-proto-protolint| pug.....................................|ale-pug-options| puglint...............................|ale-pug-puglint| puppet..................................|ale-puppet-options| |