simon/yakindu @ fadc0806a778cd626a85749e5874946a261bcc10

Andreas Mülder 65e7315531 Java se 1.8 (#1452)		8 anni fa
..
org.eclipse.core.resources.prefs	c7e28e2dd5 renaming folder name in git (Eclipse only changes references)	10 anni fa
org.eclipse.core.runtime.prefs	c7e28e2dd5 renaming folder name in git (Eclipse only changes references)	10 anni fa
org.eclipse.jdt.core.prefs	65e7315531 Java se 1.8 (#1452)	8 anni fa