Eyck Jentzsch 81f37d4740 puts some cleanup		2023-06-27 16:56:03 +02:00
..
org.eclipse.core.resources.prefs	puts some cleanup	2023-06-27 16:56:03 +02: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