diff options
author | w0rp <w0rp@users.noreply.github.com> | 2020-08-17 10:21:36 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-17 10:21:36 +0100 |
commit | 514e5a8baa539f38c62881673727be6f67935d75 (patch) | |
tree | cdf3e74a818ed18acf9433687511ddc6642c4218 /doc/ale.txt | |
parent | cfda549056c4b85fba9e2f10ecb502c8a18d6011 (diff) | |
parent | 0cea55924ba7780c1f17d17e8509160c77d1ab7c (diff) | |
download | ale-514e5a8baa539f38c62881673727be6f67935d75.zip |
Merge pull request #2940 from davidsierradz/add-markdownlint-options
allow passing custom options to markdownlint
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 ea49eedb..50c0b8a0 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -2502,6 +2502,7 @@ documented in additional help files. luac..................................|ale-lua-luac| luacheck..............................|ale-lua-luacheck| markdown................................|ale-markdown-options| + markdownlint..........................|ale-markdown-markdownlint| mdl...................................|ale-markdown-mdl| prettier..............................|ale-markdown-prettier| remark-lint...........................|ale-markdown-remark-lint| |