validator/.settings
2019-06-20 14:07:52 +02:00
..
org.eclipse.jdt.core.prefs Automagic changes :( 2019-06-20 14:07:52 +02:00
org.eclipse.jdt.ui.prefs #9 Formatierungsregeln 2019-03-25 11:39:10 +01:00