| commit | 47cac340358d2f34df0054f6498e1ea1820aead2 | [log] [tgz] |
|---|---|---|
| author | Dani Megert <dmegert> | Mon Jul 13 12:43:15 2015 +0200 |
| committer | Dani Megert <dmegert> | Tue Jul 14 12:42:28 2015 +0200 |
| tree | 2b528d859a71c16e2c1f2d651644d992c2d6b68b | |
| parent | 3e64dbec989eb79d700a2cd7705b8d60e850138e [diff] |
Adjusted API filters to workaround bug 430640: Wrong API Tools errors in org.eclipse.core.runtime (ADDED and REMOVED annotation types)