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)
commit4c1a73131bf778b1fd53b92debe5f12a33995aad
tree6768899437c555dc946be2d6a11b81defa9fcb7d
parentbdb428a40bfa1e9a374c816cdf3da67315be5ad2
parentad1c8e7e141ebac06802c71d4c1691aea1b0c8be
Merge pull request #184 from antonblanchard/verific

Delete old verific script