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