On Mon, Aug 05, 2013 at 11:48:33AM -0400, al davis wrote: > 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.
i'm not saying that it's not useful. > 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. is there anything "git log"/"git describe"/"git anythingelse" does not provide or know about? the history before the git transition is lost, but intentionally lost... regards felix _______________________________________________ Gnucap-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gnucap-devel
