projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 72aac38 1c05f33)
Merge pull request #130 from antonblanchard/build-fix
authorAnton Blanchard <anton@linux.ibm.com>
Fri, 10 Jan 2020 22:02:43 +0000 (09:02 +1100)
committerGitHub <noreply@github.com>
Fri, 10 Jan 2020 22:02:43 +0000 (09:02 +1100)
control: Fix build issue with Fedora 31 version of GHDL


Trivial merge