WALA/com.ibm.wala.cast.java/.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 Resolve the last two Eclipse warnings about using raw types 2018-04-13 12:53:33 -05:00
org.eclipse.jdt.launching.prefs no warnings in com.ibm.wala.cast.java 2013-03-12 00:30:32 +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