Add a paranoid 'must be provided' option to ReceivePack
[jgit.git] / org.eclipse.jgit / .settings / 
tree34c5d833dcc1ba3ba7f360d819dc7e27ee44e8ab
drwxr-xr-x   ..
-rw-r--r-- 85 org.eclipse.core.resources.prefs
-rw-r--r-- 81 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-- 88 org.eclipse.pde.core.prefs