Gregory Stark <stark@enterprisedb.com> writes:
> These two files seem to be getting updated every time I do a CVS update.
Doesn't happen here --- maybe something odd in your local CVS state?
> If that's true then we should just cvs delete them.
We already did, according to the cvsweb view.
regards, tom lane