diff options
author | eine <6628437+eine@users.noreply.github.com> | 2020-01-12 08:10:04 +0000 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2020-01-12 09:10:04 +0100 |
commit | 490ae80a76425de77a47b6e2be4f749e068fc303 (patch) | |
tree | 1332cf033368525be927834e910bc6c8cac0f386 /libraries/vendors/config.sh | |
parent | 3b0b2e79c310a0fff191036b3be5e15f9ae2e714 (diff) | |
download | ghdl-490ae80a76425de77a47b6e2be4f749e068fc303.tar.gz ghdl-490ae80a76425de77a47b6e2be4f749e068fc303.tar.bz2 ghdl-490ae80a76425de77a47b6e2be4f749e068fc303.zip |
ci: the URL to retrieve GCC sources has changed (#1084)
Diffstat (limited to 'libraries/vendors/config.sh')
0 files changed, 0 insertions, 0 deletions