From 9fe72953ca051ed436eaaa4b5174ba80fa74d41c Mon Sep 17 00:00:00 2001 From: aboyko Date: Thu, 9 Mar 2023 11:40:20 -0500 Subject: [PATCH] Change name for the preference page appropriately --- .../org.springframework.ide.eclipse.xml.namespaces/plugin.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/eclipse-extensions/org.springframework.ide.eclipse.xml.namespaces/plugin.xml b/eclipse-extensions/org.springframework.ide.eclipse.xml.namespaces/plugin.xml index 0a3b9940c..11debad9f 100644 --- a/eclipse-extensions/org.springframework.ide.eclipse.xml.namespaces/plugin.xml +++ b/eclipse-extensions/org.springframework.ide.eclipse.xml.namespaces/plugin.xml @@ -19,7 +19,7 @@ point="org.eclipse.ui.propertyPages">