Merge changes I39bfefee,I47795987,I70d120fb,I58cc5e01,I96bee7b9master
[jgit.git] / org.eclipse.jgit.console / .settings / 
treeee615a8bc128f2f73882c7f39f243688775f0c50
drwxr-xr-x   ..
-rw-r--r-- 86 org.eclipse.core.resources.prefs
-rw-r--r-- 79 org.eclipse.core.runtime.prefs
-rw-r--r-- 26713 org.eclipse.jdt.core.prefs
-rw-r--r-- 2973 org.eclipse.jdt.ui.prefs
-rw-r--r-- 89 org.eclipse.pde.core.prefs