Josh Berkus <[email protected]> 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 ([email protected])
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers
