directory /mx/eclipse-settings/ @ 20171:9ca538e3e46e

name size permissions
[up] drwxr-xr-x
file org.eclipse.core.resources.prefs 55 -rw-r--r--
file org.eclipse.jdt.apt.core.prefs 146 -rw-r--r--
file org.eclipse.jdt.core.prefs 32778 -rw-r--r--
file org.eclipse.jdt.ui.prefs 5634 -rw-r--r--