diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-02-08 20:44:51 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-02-08 20:44:51 -0800 |
commit | 5a5f40881d6dcebec36190115779eeb4ae89b6c9 (patch) | |
tree | 43705f728e84011203833ff26351233c9905e305 /git-mergetool.sh | |
parent | Merge branch 'tz/gpg-test-fix' (diff) | |
parent | Makefile: add coverage-prove target (diff) | |
download | tgif-5a5f40881d6dcebec36190115779eeb4ae89b6c9.tar.xz |
Merge branch 'ds/coverage-prove'
A new target "coverage-prove" to run the coverage test under
"prove" has been added.
* ds/coverage-prove:
Makefile: add coverage-prove target
Diffstat (limited to 'git-mergetool.sh')
0 files changed, 0 insertions, 0 deletions