diff options
author | w0rp <w0rp@users.noreply.github.com> | 2017-10-25 00:40:59 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-25 00:40:59 +0100 |
commit | 94bdabb8c3c6445249c0e3bac5b7bcf159fd49f3 (patch) | |
tree | 181402d63f0fec863f9c5875075a9822998403c6 /doc | |
parent | eec529ad9d703aae12cba6f6423d04c08ae26d0d (diff) | |
parent | 780844ad73d2181db81371c360185a1e0ba0cc70 (diff) | |
download | ale-94bdabb8c3c6445249c0e3bac5b7bcf159fd49f3.zip |
Merge pull request #1044 from sumnerevans/mail-linters
#955 Add vale linter for mail files
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ale.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index cac1397c..4480ce97 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -288,7 +288,7 @@ Notes: * LaTeX (tex): `chktex`, `lacheck`, `proselint`, `write-good` * LLVM: `llc` * Lua: `luacheck` -* Mail: `proselint` +* Mail: `proselint`, `vale` * Make: `checkmake` * Markdown: `mdl`, `proselint`, `vale`, `remark-lint`, `write-good` * MATLAB: `mlint` |