$Id$ and git

[Jeff Morriss <jeff.morriss.ws () gmail com>]

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)?
___________________________________________________________________________
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