On Thu, Feb 13, 2014 at 4: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)?
Agreed, they serve no purpose now. I've been removing them ad-hoc as I touch files. ___________________________________________________________________________ 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
