Remove duplicate indexterm to silence openjade wrning.
authorTom Lane <[email protected]>
Fri, 11 Mar 2011 16:41:14 +0000 (11:41 -0500)
committerTom Lane <[email protected]>
Fri, 11 Mar 2011 16:41:51 +0000 (11:41 -0500)
commitac435a79c88f51be6bf3eb5df618c2bac6123ae4
tree2e6ce586e681ad79cf93b83b27ae268379117eba
parent4869d10afc74e9cc774942c24b48cef301a0a693
Remove duplicate indexterm to silence openjade wrning.
doc/src/sgml/runtime.sgml