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 /.gitignore | |
| parent | da355a3231174ac019b43a31958b73e818e6463f (diff) | |
fix(grammar): Add `block_comment` and `comment_environment` injection for latex comments (#4922)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions