Update README
authorClaire Xen <claire@clairexen.net>
Thu, 4 Mar 2021 15:43:30 +0000 (16:43 +0100)
committerGitHub <noreply@github.com>
Thu, 4 Mar 2021 15:43:30 +0000 (16:43 +0100)
commit6c56c083f8c55d28a3dc0dc8e17a611fd31a2261
treef0235279f51b31e4827d6d1828d365b64c926655
parent375af199ef4df45ccf02c66e0171b4282c6cf1eb
Update README
frontends/verific/README