Morph MORPH
SIGN IN SIGN UP
sharkdp / bat UNCLAIMED

A cat(1) clone with wings.

0 0 115 Rust

Merge pull request #3666 from sharkdp/dependabot/submodules/assets/syntaxes/02_Extra/Idris2-4d8eb35

build(deps): bump assets/syntaxes/02_Extra/Idris2 from `bbfe50e` to `4d8eb35`
A
auto-merge-dependabot-prs[bot] committed
78963986e012bb13c794eae4b668a892d69373e1
Parents: 78cb14a , de64d3a
Committed by GitHub <noreply@github.com> on 4/27/2026, 7:41:31 PM