Tom Lane 3b7673388d Doc: remove duplicate index entry. ...

This causes a warning with the old html-docs toolchain, though not with the
new.  I had originally supposed that we needed both <indexterm> entries to
get both a primary index entry and a see-also link; but evidently not,
as pointed out by Fabien Coelho.

Discussion: https://postgr.es/m/alpine.DEB.2.20.1702161616060.5445@lancre

2017-02-16 11:30:07 -05:00

..

src

Doc: remove duplicate index entry.

2017-02-16 11:30:07 -05:00

bug.template

Stamp HEAD as 10devel.

2016-08-15 13:49:49 -04:00

KNOWN_BUGS

Remove extra newlines at end and beginning of files, add missing newlines

2010-08-19 05:57:36 +00:00

Makefile

Remove maintainer-check target, fold into normal build

2013-10-10 20:11:56 -04:00

MISSING_FEATURES

Remove extra newlines at end and beginning of files, add missing newlines

2010-08-19 05:57:36 +00:00

TODO

…