On Mon, Aug 05, 2013 at 01:37:33AM -0400, al davis wrote: > There's also the $Id$ tag in all the source files. In the past > it was updated by RCS, but GIT doesn't do that. It looks like > it must be done manually now.
i see no purpose in carring around extra id tags. git takes care of this very well. regards felix _______________________________________________ Gnucap-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gnucap-devel
