Re: $Id$ and git

[Guy Harris <guy () alum mit edu>]

On Feb 13, 2014, at 1:24 PM, Jeff Morriss <jeff.morriss.ws () gmail com> wrote:

> It seems that putting $Id$ in files stored in Git is pointless and discouraged.
>
> Should we remove $Id$ from all the files (and remove the check from checkAPIs)?

...and modify all our tools that generate code not to add $Id$ to the generated code.
___________________________________________________________________________
Sent via:    Wireshark-dev mailing list <wireshark-dev () wireshark org>
Archives:    http://www.wireshark.org/lists/wireshark-dev
Unsubscribe: https://wireshark.org/mailman/options/wireshark-dev
             mailto:wireshark-dev-request () wireshark org?subject=unsubscribe