checkout: print something when checking out paths
[gitweb.git] / contrib / coverage-diff.sh
2018-10-10 contrib: add coverage-diff script