extern/bat
1
0
Fork 0
mirror of https://github.com/sharkdp/bat.git synced 2024-11-22 15:53:29 +01:00
Code Issues Packages Projects Releases Wiki Activity
8435cad602
bat/assets/syntaxes
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
02_Extra Merge pull request #1643 from sharkdp/dependabot/submodules/assets/syntaxes/02_Extra/Lean-29a03a8 2021-05-12 22:35:01 +02:00