From 08528a8816ee9f88543380a530761ed29f3394fe Mon Sep 17 00:00:00 2001
From: Zsombor Gegesy <gzsombor@gmail.com>
Date: Tue, 26 Nov 2024 22:47:18 +0100
Subject: [PATCH] Remove api filter related to
 org.eclipse.jdt.ui.text.IJavaPartitions.JAVA_MARKDOWN_COMMENT

---
 org.eclipse.jdt.core.manipulation/.settings/.api_filters | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/org.eclipse.jdt.core.manipulation/.settings/.api_filters b/org.eclipse.jdt.core.manipulation/.settings/.api_filters
index aa01ed20907..ece44acdf99 100644
--- a/org.eclipse.jdt.core.manipulation/.settings/.api_filters
+++ b/org.eclipse.jdt.core.manipulation/.settings/.api_filters
@@ -31,12 +31,4 @@
             </message_arguments>
         </filter>
     </resource>
-    <resource path="proposals/org/eclipse/jdt/ui/text/IJavaPartitions.java" type="org.eclipse.jdt.ui.text.IJavaPartitions">
-        <filter id="403767336">
-            <message_arguments>
-                <message_argument value="org.eclipse.jdt.ui.text.IJavaPartitions"/>
-                <message_argument value="JAVA_MARKDOWN_COMMENT"/>
-            </message_arguments>
-        </filter>
-    </resource>
 </component>