From ee8c659987eadf1eec2d6c1a1c6258940e64b869 Mon Sep 17 00:00:00 2001
From: Andrew Branson <andrew.branson@cern.ch>
Date: Wed, 2 Apr 2014 15:46:18 +0200
Subject: De-favourite the launchers for the kernel as they aren't really
 useful without modules.

---
 bin/eclipse/Cristal Kernel UserCode.launch | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'bin/eclipse/Cristal Kernel UserCode.launch')

diff --git a/bin/eclipse/Cristal Kernel UserCode.launch b/bin/eclipse/Cristal Kernel UserCode.launch
index f6798d2..48d76e1 100644
--- a/bin/eclipse/Cristal Kernel UserCode.launch	
+++ b/bin/eclipse/Cristal Kernel UserCode.launch	
@@ -8,9 +8,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"/>
-</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.process.UserCodeProcess"/>
 <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-logLevel 0 -config bin/conf/client.conf -connect ${file_prompt}"/>
-- 
cgit v1.2.3