build(deps): bump assets/syntaxes/02_Extra/Idris2

Browse Source

Bumps [assets/syntaxes/02_Extra/Idris2](https://github.com/buzden/sublime-syntax-idris2) from `7c1bf44` to `2874f20`.
- [Commits](https://github.com/buzden/sublime-syntax-idris2/compare/7c1bf44c4f9092b7b1e274b1332cf32a089b2b99...2874f206f56c588a29fd76b88043129471d1454a)

---
updated-dependencies:
- dependency-name: assets/syntaxes/02_Extra/Idris2
  dependency-version: 2874f206f56c588a29fd76b88043129471d1454a
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>

...

This commit is contained in:

dependabot[bot]

2025-10-09 17:24:04 +00:00

committed by Martin Nordholts

parent af365d762f

commit 5863a57921

1 changed files with 1 additions and 1 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

assets/syntaxes/02_Extra/Idris2

Vendored

+1 -1

Submodule assets/syntaxes/02_Extra/Idris2 updated: 7c1bf44c4f...2874f206f5