]> granicus.if.org Git - postgresql/commit
projects / postgresql / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 805ac78) | patch
doc: Remove redundant duplicate URLs from ulink elements
authorPeter Eisentraut <peter_e@gmx.net>
Fri, 1 Jan 2016 03:26:57 +0000 (22:26 -0500)
committerPeter Eisentraut <peter_e@gmx.net>
Fri, 1 Jan 2016 03:26:57 +0000 (22:26 -0500)
commit253de19b8414b8b91e0fd710c2b492dc6375f9fa
treed5b22383e5aaacaf24628d2cce937baa8c0b76f9tree | snapshot
parent805ac78aaba1c5f71e878c3bc50bec8b82e076bbcommit | diff
doc: Remove redundant duplicate URLs from ulink elements

Empty ulink elements default to displaying the URL, so there is no need
to specify the URL again.  This was already done for most occurrences,
but some cases didn't follow this convention.
doc/src/sgml/external-projects.sgml diff | blob | history
doc/src/sgml/runtime.sgml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.