Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

src/tools/make_keywords

1 view
Skip to first unread message

Gavin Sherry

unread,
Nov 13, 2004, 7:14:28 AM11/13/04
to
Does this 'script' belong in the tree anymore? It relies on the existence
of src/tools/SQL_keywords -- which no longer exists.

gavin

---------------------------(end of broadcast)---------------------------
TIP 1: subscribe and unsubscribe commands go to majo...@postgresql.org

0 new messages