Re: CMake WIP

al davis <[email protected]>
Newsgroups gmane.comp.gnu.gnucap.devel
Message-ID <[email protected]>
On Monday 05 August 2013, Felix Salfelder wrote:
> nothing particular. it's just unnecessary (isn't it?) and
> must be maintained manually (afaics).

I guess it depends on what you consider necessary.  I find it 
very useful.

This is one spot where RCS is superior to git.

What is there now (name, date, time, rcs checkin code ....) is 
there because that is what RCS does.  RCS will do the fields 
separately too, but $Id$ is so convenient.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.