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 ([email protected])
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-committers

Reply via email to