navigine/bat
1
0 Fork 0
mirror of https://github.com/sharkdp/bat.git synced 2026-10-27 20:19:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
6b2c5645d251d2f3c5f58f889b8a63cf4c7ffa56
bat/tests/syntax-tests/highlighted/Lean
T
History
…
..
test.lean
…