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/guides/indent.md | |
| 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/guides/indent.md')
0 files changed, 0 insertions, 0 deletions