From 74f0520c7b4a5600553928ad470a15852aacf7c7 Mon Sep 17 00:00:00 2001 From: Snjezana Peco Date: Wed, 30 Oct 2024 16:30:00 +0100 Subject: [PATCH] Remove unused extension point --- org.eclipse.jdt.ls.core/plugin.xml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/org.eclipse.jdt.ls.core/plugin.xml b/org.eclipse.jdt.ls.core/plugin.xml index acb64067a5..151891aa5c 100644 --- a/org.eclipse.jdt.ls.core/plugin.xml +++ b/org.eclipse.jdt.ls.core/plugin.xml @@ -192,12 +192,6 @@ class="org.eclipse.jdt.ls.core.internal.managers.EclipseBuildSupport" /> - - -