On fre, 2010-01-01 at 16:32 +0100, Magnus Hagander wrote: > I therefor propose that we rename this file to "config.pl.default", > and change the scripts to first load config.pl.default, and then load > config.pl if it exists.
I'd keep the naming so that the extension .pl is preserved. Helps editors and such. -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
