Do not add ignored files in Add command
[jgit.git] / org.eclipse.jgit.http.server / .settings / 
tree4ba26d87795974444b8a56fcb44c87573c1fdcbe
drwxr-xr-x   ..
-rw-r--r-- 85 org.eclipse.core.resources.prefs
-rw-r--r-- 78 org.eclipse.core.runtime.prefs
-rw-r--r-- 26907 org.eclipse.jdt.core.prefs
-rw-r--r-- 2990 org.eclipse.jdt.ui.prefs