Josh Berkus <j...@agliodbs.com> writes:
> True, but can you think of a better word to mean "don't edit this by hand"?

The file name is not nearly as important for that as putting in a
header comment "# Don't edit this file by hand."

                        regards, tom lane


-- 
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers

Reply via email to