diff options
| author | eine <6628437+eine@users.noreply.github.com> | 2020-01-08 06:01:21 +0000 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-01-08 07:01:21 +0100 |
| commit | 513ea00c0d355c1534b8ed6f28a78ca15c91d612 (patch) | |
| tree | 232a305d3f404a9b764f895ef4251fca2e92446a /Makefile.in | |
| parent | a3a87c42060bbecda0b3c999c5f7f3acfb6008f0 (diff) | |
| download | ghdl-513ea00c0d355c1534b8ed6f28a78ca15c91d612.tar.gz ghdl-513ea00c0d355c1534b8ed6f28a78ca15c91d612.tar.bz2 ghdl-513ea00c0d355c1534b8ed6f28a78ca15c91d612.zip | |
ci: fix gnat-gpl download URL (#1071)
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions