remove src/tools/make_keywords?

From: Peter Eisentraut <peter_e(at)gmx(dot)net>
To: pgsql-hackers(at)postgresql(dot)org
Subject: remove src/tools/make_keywords?
Date: 2013-05-08 01:10:37
Message-ID: 1367975437.5136.2.camel@vanquo.pezone.net
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

It doesn't look as though it is used or usable.

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Peter Eisentraut 2013-05-08 01:27:04 Re: Make targets of doc links used by phpPgAdmin static
Previous Message Peter Eisentraut 2013-05-08 01:07:05 Re: local_preload_libraries logspam