aboutsummaryrefslogtreecommitdiff
path: root/book/src/generated
diff options
context:
space:
mode:
authorLauri Gustafsson2022-04-02 14:00:05 +0000
committerGitHub2022-04-02 14:00:05 +0000
commite4561d1ddede65baaaf04adf5baa0edbaf8f8028 (patch)
treece768955cf856658c424f11bb61fe9bc4a43c01d /book/src/generated
parent36d1df71fc99b0f2e3b594f9d7d0f07ef829b9fc (diff)
Add texlab language server for latex (#1922)
Diffstat (limited to 'book/src/generated')
-rw-r--r--book/src/generated/lang-support.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/book/src/generated/lang-support.md b/book/src/generated/lang-support.md
index 8c1a78c8..694d1d12 100644
--- a/book/src/generated/lang-support.md
+++ b/book/src/generated/lang-support.md
@@ -31,7 +31,7 @@
| jsx | ✓ | | ✓ | `typescript-language-server` |
| julia | ✓ | | | `julia` |
| kotlin | ✓ | | | `kotlin-language-server` |
-| latex | ✓ | | | |
+| latex | ✓ | | | `texlab` |
| lean | ✓ | | | `lean` |
| ledger | ✓ | | | |
| llvm | ✓ | ✓ | ✓ | |