Bump version to 3.3.1813/190513/1
[EMFCompare2.git] / plugins / org.eclipse.emf.compare.ide.ui / .settings / 
tree2e9b92b6d78d4f7973c4c26415317100d3c0ba09
drwxr-xr-x   ..
-rw-r--r-- 1739 .api_filters
-rw-r--r-- 7380 edu.umd.cs.findbugs.core.prefs
-rw-r--r-- 155 edu.umd.cs.findbugs.plugin.eclipse.prefs
-rw-r--r-- 55 org.eclipse.core.resources.prefs
-rw-r--r-- 48 org.eclipse.core.runtime.prefs
-rw-r--r-- 30395 org.eclipse.jdt.core.prefs
-rw-r--r-- 3164 org.eclipse.jdt.ui.prefs
-rw-r--r-- 4619 org.eclipse.pde.api.tools.prefs