diff options
| author | Michael Davis | 2023-08-07 18:27:16 +0000 |
|---|---|---|
| committer | GitHub | 2023-08-07 18:27:16 +0000 |
| commit | d6c799fb3026425d1eb0cd71130e2b17d315829f (patch) | |
| tree | ed99f3ac3a085dd2de3455386806e4c8af9594ac /runtime/queries/lean/injections.scm | |
| parent | 86fc2031976e50dc341de1b2e6b979943df006cc (diff) | |
Update tree-sitter-git-commit (#7831)
This fixes a problem parsing the "On branch _branch_" part of the
commit comment when the branch contains a slash.
Diffstat (limited to 'runtime/queries/lean/injections.scm')
0 files changed, 0 insertions, 0 deletions