git.postgresql.org Git - postgresql.git/commit

git projects / postgresql.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: c8ead2a) | patch

doc: Port page header customizations to XSLT

author Peter Eisentraut <peter_e@gmx.net>

Fri, 4 Nov 2016 16:00:00 +0000 (12:00 -0400)

committer Peter Eisentraut <peter_e@gmx.net>

Sat, 5 Nov 2016 02:14:10 +0000 (22:14 -0400)

commit 6feb69f6cef8b1bd2829700e25e402f22e86f3bd

tree c390ba03e423998ce3874b79d0ce57f4013c4e1e tree

parent c8ead2a3974d3eada145a0e18940150039493cc9 commit | diff

doc: Port page header customizations to XSLT

doc/src/sgml/stylesheet.xsl diff | blob | blame | history

This is the main PostgreSQL git repository.