From 4da0ae86ac56642842fd25c87b94b373cfc3adfd Mon Sep 17 00:00:00 2001 From: John Camelon Date: Thu, 16 Jun 2005 15:21:36 +0000 Subject: [PATCH] Removing preferences for markers. --- core/org.eclipse.cdt.ui/plugin.xml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/core/org.eclipse.cdt.ui/plugin.xml b/core/org.eclipse.cdt.ui/plugin.xml index e6b7d5bbaad..15672166776 100644 --- a/core/org.eclipse.cdt.ui/plugin.xml +++ b/core/org.eclipse.cdt.ui/plugin.xml @@ -1339,11 +1339,13 @@ + - +