WALA/com.ibm.wala.shrike/.settings
Julian Dolby 0ad11fefc3 work on Wala with Yannis' group 2018-07-22 16:19:32 -04:00
..
org.eclipse.jdt.core.prefs work on Wala with Yannis' group 2018-07-22 16:19:32 -04:00
org.eclipse.jdt.launching.prefs remove warnings from com.ibm.wala.shrike 2013-03-12 00:57:31 +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