tree daa1cd237fd2098992834f2a8053408c1de29e65
parent 835d3aff713f4cb4305e521da40222ca9439118b
author Dani Megert <dmegert> 1511449018 +0100
committer Dani Megert <dmegert> 1511449018 +0100

Revert "Bug 476404 - Delete Platform API as announced for Eclipse 4.2."

This reverts commit 835d3aff713f4cb4305e521da40222ca9439118b.