This website requires JavaScript.
Explore
Help
Sign In
nvgn
/
bat
Watch
1
Star
0
Fork
0
mirror of
https://github.com/sharkdp/bat.git
synced
2026-10-28 22:28:29 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
v0.18.1
bat
/
assets
/
syntaxes
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
02_Extra
Merge pull request
#1643
from sharkdp/dependabot/submodules/assets/syntaxes/02_Extra/Lean-29a03a8
2021-05-12 22:35:01 +02:00
