On Thu, Feb 13, 2014 at 10: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)? > For checkAPIs, may be revert/change the code... to display a error if there is a $Id$ ;-) > ____________________________________________________________ > _______________ > 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 >
___________________________________________________________________________ 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
