diff options
| author | Andrew Branson <andrew.branson@cern.ch> | 2014-09-09 12:14:01 +0200 |
|---|---|---|
| committer | Andrew Branson <andrew.branson@cern.ch> | 2014-09-09 12:14:01 +0200 |
| commit | 8e5d28aec9368c29acec858e9d748ed2ed5eb397 (patch) | |
| tree | f80282cb0c9ab47159816ca3c3a8f7c193103e65 /bin/eclipse/Cristal Kernel GUI.launch | |
| parent | 7690395f52e3d0853695cea77f0103fb56c81838 (diff) | |
Support move to using UUIDs and ItemPaths as Item identifiers instead of
ints.
Diffstat (limited to 'bin/eclipse/Cristal Kernel GUI.launch')
| -rw-r--r-- | bin/eclipse/Cristal Kernel GUI.launch | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/bin/eclipse/Cristal Kernel GUI.launch b/bin/eclipse/Cristal Kernel GUI.launch index c0a78e5..e63b995 100644 --- a/bin/eclipse/Cristal Kernel GUI.launch +++ b/bin/eclipse/Cristal Kernel GUI.launch @@ -7,10 +7,6 @@ <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}"/>
|