- #Tue Nov 15 11:03:24 CET 2011
- eclipse.preferences.version=1
- encoding//TestModels/InterfaceTest.sct=UTF-8
- encoding//TestModels/Test_DeepHistory.sct=UTF-8
- encoding//TestModels/Test_Expression.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
|
