mirror of
				https://github.com/sharkdp/bat.git
				synced 2025-10-31 15:12:12 +00:00 
			
		
		
		
	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>