upgrade jdt preferences
[egit/eclipse.git] / org.eclipse.egit.mylyn.ui / .settings / 
treedc437277fe91a37e462bff6296f1f2a99f356a4b
drwxr-xr-x   ..
-rw-r--r-- 85 org.eclipse.core.resources.prefs
-rw-r--r-- 78 org.eclipse.core.runtime.prefs
-rw-r--r-- 38294 org.eclipse.jdt.core.prefs
-rw-r--r-- 3293 org.eclipse.jdt.ui.prefs
-rw-r--r-- 148 org.eclipse.mylyn.tasks.ui.prefs
-rw-r--r-- 126 org.eclipse.mylyn.team.ui.prefs
-rw-r--r-- 4811 org.eclipse.pde.api.tools.prefs
-rw-r--r-- 88 org.eclipse.pde.core.prefs