Merge branch 'stable-0.7'
[jgit.git] / org.eclipse.jgit.ui / .settings / 
tree12fbb4e236965706135f40dcafdec460b998312d
drwxr-xr-x   ..
-rw-r--r-- 86 org.eclipse.core.resources.prefs
-rw-r--r-- 79 org.eclipse.core.runtime.prefs
-rw-r--r-- 26907 org.eclipse.jdt.core.prefs
-rw-r--r-- 2973 org.eclipse.jdt.ui.prefs
-rw-r--r-- 89 org.eclipse.pde.core.prefs