drwxr-xr-x | [up] | |||
-rw-r--r-- | 2022-08-09 14:33 +0100 | 137 | org.eclipse.jdt.launching.prefs | file | revisions | annotate |
-rw-r--r-- | 2022-08-09 14:33 +0100 | 134 | org.eclipse.ltk.core.refactoring.prefs | file | revisions | annotate |
-rw-r--r-- | 2022-08-09 14:33 +0100 | 119 | org.eclipse.pde.core.prefs | file | revisions | annotate |