WALA/com.ibm.wala.util/.settings
Ben Liblit 530d74929f Many improvements to Gradle build support, including within Eclipse 2018-04-18 11:29:24 -05:00
..
org.eclipse.buildship.core.prefs Many improvements to Gradle build support, including within Eclipse 2018-04-18 11:29:24 -05:00
org.eclipse.jdt.core.prefs Remove type arguments that Java 1.7+ can infer for us 2017-12-04 14:04:39 -08:00
org.eclipse.jdt.launching.prefs remove warnings from com.ibm.wala.util 2013-03-12 00:55:26 +01:00
org.eclipse.jdt.ui.prefs fix some compiler warnings. no semantic changes 2011-02-03 15:15:56 +00: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