diff options
| author | Erasin | 2022-08-10 12:29:43 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-10 12:29:43 +0000 |
| commit | 921027fb32018546fa459ffaf4afa4960f56d1b6 (patch) | |
| tree | da249a0a76602fbece5baf5887e92416fe3811e8 /book/src/generated | |
| parent | 598aa7c424246d6955bbadba7b42b895fe492e5c (diff) | |
Update tree-sitter-latex and highlights (#3370)
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
Diffstat (limited to 'book/src/generated')
| -rw-r--r-- | book/src/generated/lang-support.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/book/src/generated/lang-support.md b/book/src/generated/lang-support.md index 432efb78..941b7a7a 100644 --- a/book/src/generated/lang-support.md +++ b/book/src/generated/lang-support.md @@ -54,7 +54,7 @@ | jsx | ✓ | ✓ | ✓ | `typescript-language-server` | | julia | ✓ | | | `julia` | | kotlin | ✓ | | | `kotlin-language-server` | -| latex | ✓ | | | `texlab` | +| latex | ✓ | ✓ | | `texlab` | | lean | ✓ | | | `lean` | | ledger | ✓ | | | | | llvm | ✓ | ✓ | ✓ | | |