8000 Remove make_keywords · postgres/postgres@bd98852 · GitHub
[go: up one dir, main page]
Skip to content

Commit bd98852

Browse files
peterepetere
committed
Remove make_keywords
It is not used anymore.
1 parent 1c36700 commit bd98852

File tree

1 file changed

+0
-15
lines changed

1 file changed

+0
-15
lines changed

‎src/tools/make_keywords

Lines changed: 0 additions & 15 deletions
This file was deleted.

0 commit comments

Comments
 (0)
0