On Feb 13, 2014, at 1:24 PM, Jeff Morriss <[email protected]> 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 <[email protected]> Archives: http://www.wireshark.org/lists/wireshark-dev Unsubscribe: https://wireshark.org/mailman/options/wireshark-dev mailto:[email protected]?subject=unsubscribe
