]> granicus.if.org Git - postgresql/commit
projects / postgresql / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4bb5a25) | patch
Add PostgreSQL version to coverage output
authorPeter Eisentraut <peter_e@gmx.net>
Fri, 11 Aug 2017 03:33:47 +0000 (23:33 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Fri, 29 Sep 2017 12:54:47 +0000 (08:54 -0400)
commitd2773f9bcd980cf6ed720928cd0700196608ef19
tree68fa4f6d5b40c056b8057bd93f4f4ff5c66ee80etree | snapshot
parent4bb5a2536bcff5dfef9242818979faaa0659b1afcommit | diff
Add PostgreSQL version to coverage output

Also make overriding the title easier.  That helps telling where the
report came from and labeling different variants of a report.

Reviewed-by: Michael Paquier <michael.paquier@gmail.com>
src/Makefile.global.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.