[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-gnulib] $Id$
From: |
Paul Eggert |
Subject: |
Re: [Bug-gnulib] $Id$ |
Date: |
Sun, 24 Nov 2002 20:08:58 -0800 (PST) |
> From: address@hidden (Karl Berry)
> Date: Sun, 24 Nov 2002 19:22:24 -0500
>
> How would people feel about putting $Id$ comments into all the gnulib
> files? I know they get copied around and so the $Id$ changes in other
> distributions, but ... it's still unique identification, which we don't
> have now. Any objections?
I'd rather not use $Id$, as I think it causes more troubles for us
than it cures.