tree f2448be3d2ead27c870df6f869ad2796cf9e93c2
parent 2334a777c5dd28dde70c2da36aecf92085cb1fe2
author Ed Merks <ed.merks@gmail.com> 1587452033 +0200
committer Ed Merks <ed.merks@gmail.com> 1587452033 +0200

[534129] Provide a home for PDE.setup

Remove interim/PDE.setup

https://bugs.eclipse.org/bugs/show_bug.cgi?id=534129