diff options
| author | Patrick Lehmann <Paebbels@gmail.com> | 2018-06-09 07:42:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-09 07:42:49 +0200 |
| commit | 8498f8ccccae6cbaed434d9d0c6e54875466fb25 (patch) | |
| tree | 2407fb84319fe0f58ede5f34b56dd6f6d6054a70 /dist | |
| parent | 0a20fceb58f4701127e6cae2f3e71b856d6e69dd (diff) | |
| parent | 3198d79bae8dfdaa3c9eb381a6cd8907aa702220 (diff) | |
| download | ghdl-8498f8ccccae6cbaed434d9d0c6e54875466fb25.tar.gz ghdl-8498f8ccccae6cbaed434d9d0c6e54875466fb25.tar.bz2 ghdl-8498f8ccccae6cbaed434d9d0c6e54875466fb25.zip | |
Merge pull request #602 from 1138-4EB/update-fedora
Use fedora28 instead of fedora26.
Diffstat (limited to 'dist')
0 files changed, 0 insertions, 0 deletions