@@ -1,4 +1,3 @@
eclipse.preferences.version=1
encoding//testmodels/entry/RegionCantBeEnteredUsingShallowHistory.sct=UTF-8
-encoding//testmodels/synchronization/ValidEmptyTransitionFromSync.sct=UTF-8
encoding/<project>=UTF-8