| commit | eb1f47c3e8e75a2dffe838655b6a1954d36190ee | [log] [tgz] |
|---|---|---|
| author | ewillink <ewillink> | Sat Mar 19 07:01:42 2011 +0000 |
| committer | ewillink <ewillink> | Sat Mar 19 07:01:42 2011 +0000 |
| tree | 6e5b359d8624647d3d50483c46825da2b1c50e91 | |
| parent | 5660c5c79c1f46494bb92ce7ecb1a62c838472df [diff] |
Use distinct Workspace name
diff --git a/docs/publications/EclipseCon2011Tutorial/org.eclipse.ocl.tutorial.eclipsecon2011.states/Eclipse OCL Tutorial.launch b/docs/publications/EclipseCon2011Tutorial/org.eclipse.ocl.tutorial.eclipsecon2011.states/Eclipse OCL Tutorial.launch index 4187b3e..569aed4 100644 --- a/docs/publications/EclipseCon2011Tutorial/org.eclipse.ocl.tutorial.eclipsecon2011.states/Eclipse OCL Tutorial.launch +++ b/docs/publications/EclipseCon2011Tutorial/org.eclipse.ocl.tutorial.eclipsecon2011.states/Eclipse OCL Tutorial.launch
@@ -12,7 +12,7 @@ <stringAttribute key="configLocation" value="${workspace_loc}/.metadata/.plugins/org.eclipse.pde.core/Eclipse OCL Tutorial"/> <booleanAttribute key="default" value="true"/> <booleanAttribute key="includeOptional" value="true"/> -<stringAttribute key="location" value="${workspace_loc}/../runtime-EclipseApplication"/> +<stringAttribute key="location" value="${workspace_loc}/../RuntimeOCLTutorial"/> <listAttribute key="org.eclipse.debug.ui.favoriteGroups"> <listEntry value="org.eclipse.debug.ui.launchGroup.run"/> </listAttribute>