validator/.settings
Andreas Penski 59c48f3918 Optimize ci
2021-05-19 09:06:35 +00:00
..
org.eclipse.jdt.ui.prefs #9 Formatierungsregeln 2019-03-25 11:39:10 +01:00
settings.xml Optimize ci 2021-05-19 09:06:35 +00:00