Re: $Id$ and git

[Alexis La Goutte <alexis.lagoutte () gmail com>]

On Thu, Feb 13, 2014 at 10: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)?

For checkAPIs, may be revert/change the code... to display a error if there
is a $Id$ ;-)



> ____________________________________________________________
> _______________
> 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
___________________________________________________________________________
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