summaryrefslogtreecommitdiff
path: root/bin/eclipse/Cristal 2.3 Kernel GUI.launch
diff options
context:
space:
mode:
authorAndrew Branson <andrew.branson@cern.ch>2012-08-29 14:16:37 +0200
committerAndrew Branson <andrew.branson@cern.ch>2012-08-29 14:16:37 +0200
commit15763e08d8478ac46f6c19b89c570d98c99ef373 (patch)
treec72a75f3a9a4ad5bc48beff4e9d766a0fa748dea /bin/eclipse/Cristal 2.3 Kernel GUI.launch
parentd7e2181b0e1a1f9fb64281d8114b92978c6b850e (diff)
Remove version number from launcher
Diffstat (limited to 'bin/eclipse/Cristal 2.3 Kernel GUI.launch')
-rw-r--r--bin/eclipse/Cristal 2.3 Kernel GUI.launch19
1 files changed, 0 insertions, 19 deletions
diff --git a/bin/eclipse/Cristal 2.3 Kernel GUI.launch b/bin/eclipse/Cristal 2.3 Kernel GUI.launch
deleted file mode 100644
index c0a78e5..0000000
--- a/bin/eclipse/Cristal 2.3 Kernel GUI.launch
+++ /dev/null
@@ -1,19 +0,0 @@
-<?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"/>
-</listAttribute>
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
-<listEntry value="1"/>
-</listAttribute>
-<stringAttribute key="org.eclipse.debug.ui.ATTR_CONSOLE_ENCODING" value="UTF-8"/>
-<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
-<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>
-<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
-</listAttribute>
-<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
-<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.c2kernel.gui.Main"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-logLevel 0 -config bin/conf/client.conf -connect ${file_prompt}"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="cristal-gui"/>
-<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.m2e.launchconfig.sourcepathProvider"/>
-</launchConfiguration>