diff options
author | Erik Bünnig | 2022-11-28 15:19:16 +0000 |
---|---|---|
committer | GitHub | 2022-11-28 15:19:16 +0000 |
commit | 5c213f7de4df551284cf46631508b1b0d5244a5a (patch) | |
tree | eb0bbd8d6267be8bb479e7ecb3f9d83e2309a4b7 /runtime/queries/git-config | |
parent | da355a3231174ac019b43a31958b73e818e6463f (diff) |
fix(grammar): Add `block_comment` and `comment_environment` injection for latex comments (#4922)
Diffstat (limited to 'runtime/queries/git-config')
0 files changed, 0 insertions, 0 deletions