| #Fri Jan 01 18:21:38 CET 2010 |
| eclipse.preferences.version=1 |
| gmf_dashboard/domainGenerationModel=platform\:/resource/org.eclipse.emf.henshin.model/model/henshin.genmodel |
| gmf_dashboard/domainModel=platform\:/resource/org.eclipse.emf.henshin.model/model/henshin.ecore |
| gmf_dashboard/generationModel=platform\:/resource/org.eclipse.emf.henshin.model/model/henshin.gmfgen |
| gmf_dashboard/graphicalDefinitionModel=platform\:/resource/org.eclipse.emf.henshin.model/model/henshin.gmfgraph |
| gmf_dashboard/mappingModel=platform\:/resource/org.eclipse.emf.henshin.model/model/henshin.gmfmap |
| gmf_dashboard/toolingDefinitionModel=platform\:/resource/org.eclipse.emf.henshin.model/model/henshin.gmftool |