Merge changes I39bfefee,I47795987,I70d120fb,I58cc5e01,I96bee7b9master
[jgit.git] / org.eclipse.jgit.junit / .settings / 
treed7015d0a96304ac3174caf64ba412f7c0be4f11a
drwxr-xr-x   ..
-rw-r--r-- 326 org.eclipse.core.resources.prefs
-rw-r--r-- 78 org.eclipse.core.runtime.prefs
-rw-r--r-- 25819 org.eclipse.jdt.core.prefs
-rw-r--r-- 3009 org.eclipse.jdt.ui.prefs