Julian Dolby 31cf42674a Merge branch 'master' of github.com:wala/WALA		2018-10-03 09:02:26 -04:00
..
org.eclipse.jdt.core.prefs	Merge branch 'master' of github.com:wala/WALA	2018-10-03 09:02:26 -04:00
org.eclipse.jdt.launching.prefs	fix some warnings and remove absolute path in build configuration for com.ibm.wala.dalvik	2013-03-12 01:05:15 +01: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