validator/.settings
2022-11-07 16:09:12 +01:00
..
org.eclipse.jdt.ui.prefs #9 Formatierungsregeln 2019-03-25 11:39:10 +01:00
settings.xml Update Copyright 2022-11-07 16:09:12 +01:00