]> granicus.if.org Git - git/commit
projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 154f220 2299120)
Merge branch 'ds/coverage-prove'
authorJunio C Hamano <gitster@pobox.com>
Sat, 9 Feb 2019 04:44:51 +0000 (20:44 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sat, 9 Feb 2019 04:44:51 +0000 (20:44 -0800)
commit5a5f40881d6dcebec36190115779eeb4ae89b6c9
tree43705f728e84011203833ff26351233c9905e305tree | snapshot
parent154f22014b6985f9c5935cdf548311828cfcf638commit | diff
parent2299120f511e555b656d435e643a86beb36763d0commit | diff
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
Makefile diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.