diff options
-rw-r--r-- | org.eclipse.jdt.core/.settings/.api_filters | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/org.eclipse.jdt.core/.settings/.api_filters b/org.eclipse.jdt.core/.settings/.api_filters index 9f702d0955..1d7b0211f1 100644 --- a/org.eclipse.jdt.core/.settings/.api_filters +++ b/org.eclipse.jdt.core/.settings/.api_filters @@ -355,14 +355,6 @@ </message_arguments> </filter> </resource> - <resource path="model/org/eclipse/jdt/core/SourceRange.java" type="org.eclipse.jdt.core.SourceRange"> - <filter id="576725006"> - <message_arguments> - <message_argument value="ISourceRange"/> - <message_argument value="SourceRange"/> - </message_arguments> - </filter> - </resource> <resource path="model/org/eclipse/jdt/core/jdom/DOMFactory.java" type="org.eclipse.jdt.core.jdom.DOMFactory"> <filter id="576725006"> <message_arguments> |