diff options
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">
|