[Alexis La Goutte <alexis.lagoutte@xxxxxxxxx>]

On Thu, Feb 13, 2014 at 10:24 PM, Jeff Morriss <jeff.morriss.ws@xxxxxxxxx> 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@xxxxxxxxxxxxx>
Archives:    http://www.wireshark.org/lists/wireshark-dev
Unsubscribe: https://wireshark.org/mailman/options/wireshark-dev
            mailto:wireshark-dev-request@wireshark.org?subject=unsubscribe