On Feb 13, 2014, at 1: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)? ...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-requ...@wireshark.org?subject=unsubscribe
