Andreas Mülder 4d91e03e0b Renamed plugin org.yakindu.sct.ui.simulation to org.yakindu.sct.simulation.ui 14 年之前
..
org.eclipse.jdt.core.prefs 4d91e03e0b Renamed plugin org.yakindu.sct.ui.simulation to org.yakindu.sct.simulation.ui 14 年之前