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	fix missing gzip txlog file filter in file dialog	2021-07-11 13:47:27 +02:00
org.eclipse.m2e.core.prefs	[WIP ]reorganized dir structure	2020-06-01 22:01:00 +02:00