]> git.ipfire.org Git - thirdparty/postgresql.git/commit
projects / thirdparty / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d08fae3) | patch
Doc: remove ancient comment.
authorTatsuo Ishii <ishii@postgresql.org>
Sun, 17 Feb 2019 11:42:14 +0000 (20:42 +0900)
committerTatsuo Ishii <ishii@postgresql.org>
Sun, 17 Feb 2019 11:42:14 +0000 (20:42 +0900)
commit0c2dcb9332ef6d25b4adf8ca918a7083ebb5dcdc
tree533eb492d5ae521a517591b9d49884dab6b1eb1atree | snapshot
parentd08fae3773ea3b9930d3efc0429a38614c2dd706commit | diff
Doc: remove ancient comment.

There's a very old comment in rules.sgml added back to 2003.  It
expected to a feature coming back but it never happened. So now we can
safely remove the comment. Back-patched to all supported branches.

Discussion: https://postgr.es/m/20190211.191004.219630835457494660.t-ishii%40sraoss.co.jp
doc/src/sgml/rules.sgml diff | blob | blame | history
Mirror of https://git.postgresql.org/git/postgresql.git