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-11-05 04:12:13 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
15fdc7637a54f13f8c665faf1e2e7729869f7135
bat
/
tests
/
syntax-tests
/
source
/
Lean
T
History
Y.D.X. (Gitpod)
bfd8776042
chore: Follow Lean upstream
2025-07-11 12:56:46 +08:00
..
LICENSE.md
chore: Follow Lean upstream
2025-07-11 12:56:46 +08:00
test.lean
…