Andreas Mülder 4d91e03e0b Renamed plugin org.yakindu.sct.ui.simulation to org.yakindu.sct.simulation.ui il y a 14 ans
..
org.eclipse.jdt.core.prefs 4d91e03e0b Renamed plugin org.yakindu.sct.ui.simulation to org.yakindu.sct.simulation.ui il y a 14 ans