Jim Meyering <[EMAIL PROTECTED]> writes: > Does anyone object to my removing the $Id...$ strings from those files? > They will serve no purpose once we migrate.
I'd rather not remove them as long as we are using CVS as the master repository. Once, or if, we make the switch to something else, we should replace them with git's equivalent tags (how do they look and behave?). I find these markers useful when comparing file dates when updating old software, and I think it would be a clear disadvantage if moving to git won't make the same thing possible. /Simon
