| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2018-08-28 16:14 +0200 | 137 | org.eclipse.jdt.launching.prefs | file | revisions | annotate |
| -rw-r--r-- | 2018-08-28 16:14 +0200 | 134 | org.eclipse.ltk.core.refactoring.prefs | file | revisions | annotate |
| -rw-r--r-- | 2018-08-28 16:14 +0200 | 119 | org.eclipse.pde.core.prefs | file | revisions | annotate |