Remove make_keywords
It is not used anymore.
Branch
------
master
Details
-------
http://git.postgresql.org/pg/commitdiff/bd98852cbd19083ea46a90056666e087f1bb0d67
Modified Files
--------------
src/tools/make_keywords | 15 ---------------
1 files changed, 0 insertions(+), 15 deletions(-)
--
Sent via pgsql-committers mailing list (pgsql-committers(at)postgresql(dot)org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-committers