mirror of https://github.com/sharkdp/bat
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
fb0f12a221
Bump assets/syntaxes/02_Extra/Lean from `824213d` to `29a03a8` |
3 years ago | |
---|---|---|
.. | ||
01_Packages@759d6eed9b | 5 years ago | |
02_Extra | 3 years ago |