mirror of
https://github.com/sharkdp/bat
synced 2026-07-17 16:03:19 +00:00
fb0f12a221
Bump assets/syntaxes/02_Extra/Lean from `824213d` to `29a03a8`