Merge changes I39bfefee,I47795987,I70d120fb,I58cc5e01,I96bee7b9master
[jgit.git] / org.eclipse.jgit.pgm / .settings / 
tree308d8c14dc0c5bce974c9c0454cee7ed95f15ebf
drwxr-xr-x   ..
-rw-r--r-- 85 org.eclipse.core.resources.prefs
-rw-r--r-- 78 org.eclipse.core.runtime.prefs
-rw-r--r-- 26909 org.eclipse.jdt.core.prefs
-rw-r--r-- 2973 org.eclipse.jdt.ui.prefs
-rw-r--r-- 88 org.eclipse.pde.core.prefs