1
0
mirror of https://github.com/sharkdp/bat.git synced 2025-09-23 13:42:34 +01:00
Files
bat/tests/syntax-tests/highlighted/Idris2