]> granicus.if.org Git - postgresql/commit
Remove make_keywords
authorPeter Eisentraut <peter_e@gmx.net>
Fri, 10 May 2013 02:21:43 +0000 (22:21 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Fri, 10 May 2013 02:21:43 +0000 (22:21 -0400)
commitbd98852cbd19083ea46a90056666e087f1bb0d67
treee4c2a0a6054a717e583f746b28caacd009e68a69
parent1c36700e9e3cfb96fde636def87cafb57299f4da
Remove make_keywords

It is not used anymore.
src/tools/make_keywords [deleted file]