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](7c1bf44c4f...2874f206f5)

---
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-01 02:03:32 +00:00

committed by GitHub

parent 2c87b9480f

commit 7081b3365e

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

2

assets/syntaxes/02_Extra/Idris2 vendored

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