diff options
| author | Andrew Branson <andrew.branson@cern.ch> | 2013-12-19 11:19:19 +0100 |
|---|---|---|
| committer | Andrew Branson <andrew.branson@cern.ch> | 2013-12-19 11:19:19 +0100 |
| commit | 4d9528d29dfb17dff5c2e71b05990d3c0edf2f1b (patch) | |
| tree | bf18736e0943b1d831baffe0a087950a29ee36f3 /bin/Cristal Dev GUI.launch | |
| parent | 4157cdfd7438c08d8b9cc6a718ac76b42f401ffb (diff) | |
0.7 dependent on 3.0 + XMLDB 1.0
GUI Launcher fix
Diffstat (limited to 'bin/Cristal Dev GUI.launch')
| -rw-r--r-- | bin/Cristal Dev GUI.launch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/Cristal Dev GUI.launch b/bin/Cristal Dev GUI.launch index 998a031..1af6038 100644 --- a/bin/Cristal Dev GUI.launch +++ b/bin/Cristal Dev GUI.launch @@ -1,10 +1,10 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
-<listEntry value="/cristal-gui/src/main/java/com/c2kernel/gui/Main.java"/>
+<listEntry value="/cristal-dev"/>
</listAttribute>
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
-<listEntry value="1"/>
+<listEntry value="4"/>
</listAttribute>
<stringAttribute key="org.eclipse.debug.ui.ATTR_CONSOLE_ENCODING" value="UTF-8"/>
<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
|