- #Fri Oct 14 15:07:26 CEST 2011
- eclipse.preferences.version=1
- encoding//TestModels/Test_DeepHistory.sct=UTF-8
- encoding//TestModels/Test_Hierarchy.sct=UTF-8
- encoding//TestModels/Test_LocalActions.sct=UTF-8
- encoding//TestModels/Test_ParallelRegions.sct=UTF-8
- encoding//TestModels/Test_ShallowHistory.sct=UTF-8
- encoding//TestModels/Test_Transition.sct=UTF-8
|
