Eyck Jentzsch 64cc09d207 updates plugin settings to conform with Eclipse 2023-12		2024-02-11 12:34:12 +01:00
..
org.eclipse.jdt.core.prefs	update language level	2021-02-18 06:26:42 +00:00
org.eclipse.m2e.core.prefs	[WIP ]reorganized dir structure	2020-06-01 22:01:00 +02:00
org.eclipse.pde.core.prefs	[WIP ]reorganized dir structure	2020-06-01 22:01:00 +02:00