diff options
author | Megan Wachs <megan@sifive.com> | 2018-08-29 15:34:03 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-29 15:34:03 -0700 |
commit | 5a7f86b2f4ce10abce31467aca2e7dfabe467665 (patch) | |
tree | 300679ae0ab8ec748bc64676fdf68aeb74f84208 /tools | |
parent | b4b2ec7d2d143146226e7b2f06e1399ee560148d (diff) | |
download | riscv-openocd-5a7f86b2f4ce10abce31467aca2e7dfabe467665.zip riscv-openocd-5a7f86b2f4ce10abce31467aca2e7dfabe467665.tar.gz riscv-openocd-5a7f86b2f4ce10abce31467aca2e7dfabe467665.tar.bz2 |
Use official mirror of jimtcl
The repo.or.cz version is often unavailable.
Presumably we want to do something similar for the other submodules, but I didn't find as obvious official mirrors for those.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions