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

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