projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3620569) | patch
Remove coverage details view
authorPeter Eisentraut <peter_e@gmx.net>
Fri, 11 Aug 2017 03:33:47 +0000 (23:33 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Fri, 6 Oct 2017 15:39:46 +0000 (11:39 -0400)
commitc01123630db18561039d4eb17f9502bed0e9d109
treef0e380455d8295e36098cde165503010f0f4db4dtree
parent3620569fecc6c2edb1cccfbba39b86c4e7d2faaecommit | diff
Remove coverage details view

This is only useful if we name the different tests, which we don't do at
the moment.

Reviewed-by: Michael Paquier <michael.paquier@gmail.com>
src/Makefile.global.in diff | blob | blame | history
This is the main PostgreSQL git repository.