commit | 2334a777c5dd28dde70c2da36aecf92085cb1fe2 | [log] [tgz] |
---|---|---|
author | Ed Merks <ed.merks@gmail.com> | Tue Apr 21 06:22:17 2020 +0200 |
committer | Ed Merks <ed.merks@gmail.com> | Tue Apr 21 06:22:17 2020 +0200 |
tree | 8cb2becaed26b7666df9be7baad775f3f62e5e27 | |
parent | 56db7b998a76a177e7a7ddce87cbc944079f06f9 [diff] |
[534129] Provide a home for PDE.setup https://bugs.eclipse.org/bugs/show_bug.cgi?id=534129