validator/.settings
2019-03-25 11:39:10 +01:00
..
org.eclipse.jdt.core.prefs #9 Formatierungsregeln 2019-03-25 11:39:10 +01:00
org.eclipse.jdt.ui.prefs #9 Formatierungsregeln 2019-03-25 11:39:10 +01:00