Update Orbit to S20200224183213 for 2020-03 RC1
[egit/eclipse.git] / org.eclipse.egit.mylyn.ui / .settings / 
tree8a0ad38cacbf4762c9ff392fd4b9a6fb285e7c72
drwxr-xr-x   ..
-rw-r--r-- 85 org.eclipse.core.resources.prefs
-rw-r--r-- 78 org.eclipse.core.runtime.prefs
-rw-r--r-- 39846 org.eclipse.jdt.core.prefs
-rw-r--r-- 3441 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