diff options
author | Jesse Hathaway <jesse@mbuki-mvuki.org> | 2021-07-04 07:39:29 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-04 21:39:29 +0900 |
commit | 36fcb01e05979b410da1dcee10979b0f4e610eb6 (patch) | |
tree | dad3fad01d795f7017b357ff74ba7b4497eed678 /doc/ale-supported-languages-and-tools.txt | |
parent | e4ddd32c840c405b12abe76fefc860062989e429 (diff) | |
download | ale-36fcb01e05979b410da1dcee10979b0f4e610eb6.zip |
Add pandoc as a markdown fixer (#3641)
Utilize pandoc to fix markdown files, currently set to Github-Flavored
Markdown, but that can be changed by setting,
ale_markdown_pandoc_options.
Diffstat (limited to 'doc/ale-supported-languages-and-tools.txt')
-rw-r--r-- | doc/ale-supported-languages-and-tools.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ale-supported-languages-and-tools.txt b/doc/ale-supported-languages-and-tools.txt index 71fb64b8..36399178 100644 --- a/doc/ale-supported-languages-and-tools.txt +++ b/doc/ale-supported-languages-and-tools.txt @@ -301,6 +301,7 @@ Notes: * `languagetool`!! * `markdownlint`!! * `mdl` + * `pandoc` * `prettier` * `proselint` * `redpen` |