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.jdt.groovy.core.prefs

update JDT/Groovy settings

2020-10-17 12:44:55 +02:00

org.eclipse.m2e.core.prefs

[WIP ]reorganized dir structure

2020-06-01 22:01:00 +02:00