commit | 247e7a244fa928f9158ff85ad82fc8bbe37131a4 | [log] [tgz] |
---|---|---|
author | Ed Merks <ed.merks@gmail.com> | Sat Apr 02 11:20:02 2022 +0200 |
committer | Ed Merks <ed.merks@gmail.com> | Sat Apr 02 11:20:02 2022 +0200 |
tree | d63e6bc111cfd75d4eb72728ccc713ec24c94f5e | |
parent | 37a3d41115a11c58682f2ae18766ff023231d770 [diff] |
[Releng] Migrate PDE.setup to use github URIs https://github.com/eclipse-pde/eclipse.pde.ui/issues/4