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. _______________________________________________ Gnucap-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gnucap-devel
