diff options
| author | Peter <pfeerick@users.noreply.github.com> | 2021-04-18 07:23:28 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-18 07:23:28 (GMT) |
| commit | f8c502e447d1317430ea8ef86586a135d861aa57 (patch) | |
| tree | 9dcf39e0f27bc634dc5e9a7040b55a57814b94bd /gcc_nrf52.ld | |
| parent | 77470e73f9807139673d1ac6994b340297ad71c7 (diff) | |
Gitpod workspace path update due to repo rename
Gitpod workspace path is based on repo name... it was `/workspace/Pinetime`,
but after the repo rename it's now `/workspace/InfiniTime`.
Also added second pip call as it's in the main dockerfile.
Diffstat (limited to 'gcc_nrf52.ld')
0 files changed, 0 insertions, 0 deletions