tree e8a1cd0dde21332ff4ec4aa0798402921d84d375
parent 0fb17f403bdf7fdf9ca43ffed5290fa5061dae6b
author Ed Merks <ed.merks@gmail.com> 1648369132 +0200
committer Ed Merks <ed.merks@gmail.com> 1648369359 -0400

Update PDE.setup to use github URI for eclipse.pde.build

https://github.com/eclipse-platform/eclipse.platform.releng.aggregator/issues/144

Signed-off-by: Ed Merks <ed.merks@gmail.com>
Change-Id: I29913924777c467f2263f07798daf7b8d94e6df3
Reviewed-on: https://git.eclipse.org/r/c/pde/eclipse.pde.ui/+/192271