de.ugoe.cs.swe.T3Q/.settings/org.eclipse.jdt.core.prefs
deleted100644 → 0
+0
−12
de.ugoe.cs.swe.TTCN3.ui/.settings/org.eclipse.jdt.core.prefs
deleted100644 → 0
+0
−7
Loading