Dominik Tesch ef9f2a177f remove product specific jdt pref vor 9 Jahren
..
org.eclipse.core.resources.prefs fed91bb248 renamed example org.yakindu.sct.examples.trafficlight to traffic_light vor 9 Jahren
org.eclipse.core.runtime.prefs fed91bb248 renamed example org.yakindu.sct.examples.trafficlight to traffic_light vor 9 Jahren