From cd4670ee40f4fc938e5ccc4a69a2bcba62ededcc Mon Sep 17 00:00:00 2001 From: David Inglis Date: Tue, 25 May 2004 19:05:55 +0000 Subject: [PATCH] remove unused properties page --- core/org.eclipse.cdt.ui/plugin.xml | 27 --------------------------- 1 file changed, 27 deletions(-) diff --git a/core/org.eclipse.cdt.ui/plugin.xml b/core/org.eclipse.cdt.ui/plugin.xml index 19b6b960929..3bef483e034 100644 --- a/core/org.eclipse.cdt.ui/plugin.xml +++ b/core/org.eclipse.cdt.ui/plugin.xml @@ -668,33 +668,6 @@ -