Remove api filter related to org.eclipse.jdt.ui.text.IJavaPartitions.…

…JAVA_MARKDOWN_COMMENT
eclipse-jdt · Nov 26, 2024 · 08528a8 · 08528a8
1 parent e0ec6ef
commit 08528a8
Showing 1 changed file with 0 additions and 8 deletions.
diff --git 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>