| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2020-02-23 14:03 +0100 | 137 | org.eclipse.jdt.launching.prefs | file | revisions | annotate |
| -rw-r--r-- | 2020-02-23 14:03 +0100 | 134 | org.eclipse.ltk.core.refactoring.prefs | file | revisions | annotate |
| -rw-r--r-- | 2020-02-23 14:03 +0100 | 119 | org.eclipse.pde.core.prefs | file | revisions | annotate |