WALA/com.ibm.wala.core.tests/.settings
Julian Dolby b2503628a4 1) a bit more source mappimg information
2) fixes to how Contexts are combined
2018-10-13 08:42:08 -04:00
..
org.eclipse.jdt.core.prefs 1) a bit more source mappimg information 2018-10-13 08:42:08 -04:00
org.eclipse.jdt.ui.prefs more conversion to Unix line endings 2012-09-04 15:59:50 -07:00
org.eclipse.pde.prefs Treat many Eclipse plugin-related problems as errors 2017-08-16 11:36:46 -07:00
org.eclipse.wst.validation.prefs Merge branch 'master' into warning-fixes-xml-validation 2016-11-29 10:08:00 -06:00