Julian Dolby 774be73672 Merge https://github.com/jgf/wala-mirror		2014-09-11 10:43:13 -04:00
..
org.eclipse.jdt.core.prefs	Merge https://github.com/jgf/wala-mirror	2014-09-11 10:43:13 -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