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 | |
| parent | 4157cdfd7438c08d8b9cc6a718ac76b42f401ffb (diff) | |
0.7 dependent on 3.0 + XMLDB 1.0
GUI Launcher fix
| -rw-r--r-- | bin/Cristal Dev GUI.launch | 4 | ||||
| -rw-r--r-- | pom.xml | 2 |
2 files changed, 3 insertions, 3 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">
@@ -105,7 +105,7 @@ <dependency> <groupId>cristal</groupId> <artifactId>cristal-xmldb</artifactId> - <version>0.6-SNAPSHOT</version> + <version>1.0-SNAPSHOT</version> </dependency> </dependencies> </dependencyManagement> |