projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bdb428a ad1c8e7)
Merge pull request #184 from antonblanchard/verific
authorAnton Blanchard <anton@linux.ibm.com>
Tue, 2 Jun 2020 00:36:06 +0000 (10:36 +1000)
committerGitHub <noreply@github.com>
Tue, 2 Jun 2020 00:36:06 +0000 (10:36 +1000)
Delete old verific script


Trivial merge