WALA/com.ibm.wala.cast/.settings
Ben Liblit 401fbaf89a Many improvements to Gradle build support, including within Eclipse 2018-04-17 15:02:35 -05:00
..
org.eclipse.buildship.core.prefs Many improvements to Gradle build support, including within Eclipse 2018-04-17 15:02:35 -05:00
org.eclipse.jdt.core.prefs Treat diagnostics about unchecked type operations as errors 2017-08-28 11:55:56 -07:00
org.eclipse.jdt.launching.prefs no warnings in com.ibm.wala.cast 2013-03-12 00:29:01 +01: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