diff options
| author | Michael Davis | 2022-09-06 03:02:37 +0000 |
|---|---|---|
| committer | GitHub | 2022-09-06 03:02:37 +0000 |
| commit | 43b31f702a13d3ced2dc414d2febe5bcf222366a (patch) | |
| tree | 776e285bdff716d0be726421a7b4e2945325c10e /book/src/generated | |
| parent | f7c216d497efdca8de61a0deb34449c85c6d5229 (diff) | |
Update tree-sitter-diff (#3708)
This change also renames the grammar from `git-diff` to `diff`.
The grammar covers regular diff syntax so I renamed the repository
a while ago.
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 467e4c5e..4e10ffc1 100644 --- a/book/src/generated/lang-support.md +++ b/book/src/generated/lang-support.md @@ -15,6 +15,7 @@ | cue | ✓ | | | `cuelsp` | | dart | ✓ | | ✓ | `dart` | | devicetree | ✓ | | | | +| diff | ✓ | | | | | dockerfile | ✓ | | | `docker-langserver` | | dot | ✓ | | | `dot-language-server` | | edoc | ✓ | | | | @@ -32,7 +33,6 @@ | git-attributes | ✓ | | | | | git-commit | ✓ | | | | | git-config | ✓ | | | | -| git-diff | ✓ | | | | | git-ignore | ✓ | | | | | git-rebase | ✓ | | | | | gleam | ✓ | ✓ | | `gleam` | |