| commit | c0ca865ea3d92d651bd418a31887ecdc3c7c3235 | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Fri Mar 25 08:11:00 2022 +0100 |
| committer | Ed Merks <ed.merks@gmail.com> | Fri Mar 25 08:11:00 2022 +0100 |
| tree | e6fd2cb086f349bd6c7371dfd196f56a3cd66101 | |
| parent | 41c5c5f4fcf52055dd5dadb6f5815a7f40d4ec2b [diff] |
[Releng] Update the platformResources.setup for working on github https://github.com/eclipse-platform/eclipse.platform.resources/issues/2