sharkdp--bat/assets/syntaxes at 1ced35ec760f4635156c56ba7d8a3a47bc7158a2 - sharkdp--bat - Gitea: Git with a cup of tea

frank/sharkdp--bat

mirror of https://github.com/sharkdp/bat synced 2026-07-03 13:53:17 +00:00

Files

T

History

David Peter fb0f12a221 Merge pull request #1643 from sharkdp/dependabot/submodules/assets/syntaxes/02_Extra/Lean-29a03a8

Bump assets/syntaxes/02_Extra/Lean from `824213d` to `29a03a8`

2021-05-12 22:35:01 +02:00

..

01_Packages @ 759d6eed9b

Move syntaxes, fixes #874

2020-03-21 23:53:53 +01:00

Merge pull request #1643 from sharkdp/dependabot/submodules/assets/syntaxes/02_Extra/Lean-29a03a8

2021-05-12 22:35:01 +02:00