mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Remove obsolete API filter (API tooling has been fixed).

Browse source
This commit is contained in:
Markus Schorn 2011-02-16 13:59:08 +00:00
parent 76703a1ba4
commit fe82449225
1 changed files with 0 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
core/org.eclipse.cdt.core/.settings/.api_filters
View file

@ -1,12 +0,0 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<component id="org.eclipse.cdt.core" version="2">
<resource path="parser/org/eclipse/cdt/core/dom/ast/IProblemBinding.java" type="org.eclipse.cdt.core.dom.ast.IProblemBinding">
<filter comment="API tooling bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=332840" id="403984517">
<message_arguments>
<message_argument value="org.eclipse.cdt.core.dom.ast.IProblemBinding"/>
<message_argument value="org.eclipse.cdt.core.dom.ast.ISemanticProblem"/>
<message_argument value="getID()"/>
</message_arguments>
</filter>
</resource>
</component>