diff options
author | w0rp <w0rp@users.noreply.github.com> | 2019-09-22 12:41:12 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-22 12:41:12 +0100 |
commit | d7dbc8f2cf2da04158af8d1c49f71c10b24cff1c (patch) | |
tree | 849a46c66a646b5eaf67027f69a75ead9b1f14a1 /supported-tools.md | |
parent | e329413a31d6ef687ded4df1852e372ea6b21809 (diff) | |
parent | 442fb2d22f4cc67d1ea1d63893ba56904ada4852 (diff) | |
download | ale-d7dbc8f2cf2da04158af8d1c49f71c10b24cff1c.zip |
Merge pull request #2719 from kevinywlui/patch-1
Remove texlab rust rewrite link
Diffstat (limited to 'supported-tools.md')
-rw-r--r-- | supported-tools.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/supported-tools.md b/supported-tools.md index d419ee8d..a710878f 100644 --- a/supported-tools.md +++ b/supported-tools.md @@ -249,7 +249,7 @@ formatting. * [lacheck](https://www.ctan.org/pkg/lacheck) * [proselint](http://proselint.com/) * [redpen](http://redpen.cc/) - * [texlab](https://texlab.netlify.com) ([Rust rewrite](https://github.com/latex-lsp/texlab/tree/rust)) + * [texlab](https://texlab.netlify.com) * [textlint](https://textlint.github.io/) * [vale](https://github.com/ValeLint/vale) * [write-good](https://github.com/btford/write-good) |