1
0
mirror of https://github.com/sharkdp/bat.git synced 2026-02-08 08:42:08 +00:00
Files
bat/assets/syntaxes/02_Extra
dependabot[bot] e8f7b12bb1 build(deps): bump assets/syntaxes/02_Extra/Idris2
Bumps [assets/syntaxes/02_Extra/Idris2](https://github.com/buzden/sublime-syntax-idris2) from `2874f20` to `bbfe50e`.
- [Commits](2874f206f5...bbfe50e023)

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

Signed-off-by: dependabot[bot] <support@github.com>
2025-12-01 03:06:08 +00:00
..
2025-11-14 11:41:08 +01:00
2024-07-17 15:46:38 -04:00
2020-03-21 23:53:53 +01:00
2023-03-17 22:48:12 +02:00
2020-04-27 21:45:36 +02:00
2021-01-09 22:35:50 +01:00
2021-07-25 13:27:30 +02:00
2025-08-07 22:45:22 +03:00
2020-03-21 23:53:53 +01:00
2020-03-21 23:53:53 +01:00
2025-09-27 16:41:05 +03:00
2020-03-21 23:53:53 +01:00
2025-07-11 12:56:46 +08:00
2020-10-20 19:32:14 +02:00
2023-09-01 17:50:30 +02:00
2020-03-21 23:53:53 +01:00
2020-03-21 23:53:53 +01:00
2020-05-01 10:24:19 +02:00
2021-10-03 19:17:26 +02:00
2020-03-21 23:53:53 +01:00
2020-03-21 23:53:53 +01:00
2020-03-21 23:53:53 +01:00
2020-04-12 19:42:36 +02:00
2020-03-21 23:53:53 +01:00
2020-03-21 23:53:53 +01:00
2020-03-21 23:53:53 +01:00
2023-10-04 09:09:54 +02:00
2020-03-21 23:53:53 +01:00
2020-03-21 23:53:53 +01:00
2021-01-09 22:35:50 +01:00
2020-03-21 23:53:53 +01:00
2020-03-21 23:53:53 +01:00
2020-04-30 09:59:14 +02:00
2021-10-03 19:17:26 +02:00
2020-04-12 19:20:28 +02:00
2020-03-21 23:53:53 +01:00
2023-10-04 09:09:54 +02:00