comparison hotspot/.settings/org.eclipse.cdt.core.prefs @ 21657:137068704691

Remove obsoleted TODOs.
author Josef Eisl <josef.eisl@jku.at>
date Fri, 29 May 2015 15:44:36 +0200
parents 266d7f83d5ce
children
comparison
equal deleted inserted replaced
21656:e49a0ebb2659 21657:137068704691