On Thu, Feb 13, 2014 at 10:24 PM, Jeff Morriss <jeff.morriss...@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-requ...@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-requ...@wireshark.org?subject=unsubscribe

Reply via email to