[512562] Diff/merge can't handle multiple repos28/91928/13
[EMFCompare2.git] / plugins / org.eclipse.emf.compare.uml2 / .settings / 
tree008f78967a6d04ff4a056e1dd4f8154474422acf
drwxr-xr-x   ..
-rw-r--r-- 55 org.eclipse.core.resources.prefs
-rw-r--r-- 48 org.eclipse.core.runtime.prefs
-rw-r--r-- 31139 org.eclipse.jdt.core.prefs
-rw-r--r-- 3191 org.eclipse.jdt.ui.prefs
-rw-r--r-- 4619 org.eclipse.pde.api.tools.prefs