Обсуждение: pgsql: Remove make_keywords

Поиск
Список
Период
Сортировка

pgsql: Remove make_keywords

От
Peter Eisentraut
Дата:
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(-)