projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b863791 a740c4b)
Merge pull request #182 from mikey/travis
authorPaul Mackerras <paulus@ozlabs.org>
Fri, 5 Jun 2020 08:02:33 +0000 (18:02 +1000)
committerGitHub <noreply@github.com>
Fri, 5 Jun 2020 08:02:33 +0000 (18:02 +1000)
Travis and testing improvements


Trivial merge