projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3cbbd35) | patch
Doc: remove ancient comment.
authorTatsuo Ishii
Sun, 17 Feb 2019 11:35:09 +0000 (20:35 +0900)
committerTatsuo Ishii
Sun, 17 Feb 2019 11:35:09 +0000 (20:35 +0900)
commitd43a1ff8f28c2895ac24326f0c8bbf2088f28cc5
tree9e56b1aa016daf6499e603a8671d7eb47799ee53tree
parent3cbbd3515aa61600389830ece74c57aa8a98c4a9commit | 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
This is the main PostgreSQL git repository.