comparison hotspot/.settings/org.eclipse.cdt.ui.prefs @ 18488:1bac2ca1c2be

disabled additional pylint checks to workaround false positives
author Doug Simon <doug.simon@oracle.com>
date Mon, 24 Nov 2014 13:48:38 +0100
parents 694c38d4b6d8
children
comparison
equal deleted inserted replaced
18487:0f4813e0b4a9 18488:1bac2ca1c2be