mirror of https://github.com/sharkdp/bat
Query git diff only when needed
In large git repo like chromium, it takes too long time to query git diff.pull/302/head
parent
f0d936763c
commit
4e3ab4d399
Loading…
Reference in New Issue