From f5e87e2e267612f88e81959e6dcdabe23b340562 Mon Sep 17 00:00:00 2001
From: Andrew Branson <andrew.branson@cern.ch>
Date: Tue, 25 Jun 2013 17:04:47 +0200
Subject: Kernel launchers aren't that useful. Don't make them favourites.

---
 bin/eclipse/Cristal Kernel Server.launch   | 1 -
 bin/eclipse/Cristal Kernel UserCode.launch | 1 -
 2 files changed, 2 deletions(-)

diff --git a/bin/eclipse/Cristal Kernel Server.launch b/bin/eclipse/Cristal Kernel Server.launch
index 7c8c68b..0090295 100644
--- a/bin/eclipse/Cristal Kernel Server.launch	
+++ b/bin/eclipse/Cristal Kernel Server.launch	
@@ -10,7 +10,6 @@
 <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.process.StandardServer"/>
diff --git a/bin/eclipse/Cristal Kernel UserCode.launch b/bin/eclipse/Cristal Kernel UserCode.launch
index 8f74556..f6798d2 100644
--- a/bin/eclipse/Cristal Kernel UserCode.launch	
+++ b/bin/eclipse/Cristal Kernel UserCode.launch	
@@ -10,7 +10,6 @@
 <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.process.UserCodeProcess"/>
-- 
cgit v1.2.3