| 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