Community
Participate
Working Groups
Recent commits left out copyright notice or failed to update copyright year in existing notice. This bug is simply to fix that.
Created attachment 186061 [details] Patch Patch attached to update copyrights in affected files.
Checked into HEAD.
This defect had been resolved as FIXED for more than 1 month. Please verify with the latest TPTP 4.7.2 driver. If this defect is still left unverified by February 25, we'll close it on the originator's behalf. TPTP 4.7.2 driver can be downloaded from: http://www.eclipse.org/tptp/home/downloads/?ver=4.7.2
Closing.