Remove duplicate indexterm to silence openjade wrning.

Branch
------
master

Details
-------
http://git.postgresql.org/pg/commitdiff/ac435a79c88f51be6bf3eb5df618c2bac6123ae4

Modified Files
--------------
doc/src/sgml/runtime.sgml |    1 -
1 files changed, 0 insertions(+), 1 deletions(-)


-- 
Sent via pgsql-committers mailing list ([email protected])
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-committers

Reply via email to