commit | b8309b3f4493422e57729b928591d49afa8a2bc8 | [log] [tgz] |
---|---|---|
author | Dani Megert <dmegert> | Mon Jul 13 12:43:15 2015 +0200 |
committer | Dani Megert <dmegert> | Mon Jul 13 12:43:15 2015 +0200 |
tree | 9dba03ae3820257c1d6ff29128c734ee296caee3 | |
parent | ebcc009974e521277f28e2cfdff40b4b930a5594 [diff] |
Adjusted API filters to workaround bug 430640: Wrong API Tools errors in org.eclipse.core.runtime (ADDED and REMOVED annotation types)