Merge pull request #936 from YosysHQ/README-fix-quotes
authorEddie Hung <eddieh@ece.ubc.ca>
Mon, 15 Apr 2019 19:22:05 +0000 (12:22 -0700)
committerGitHub <noreply@github.com>
Mon, 15 Apr 2019 19:22:05 +0000 (12:22 -0700)
README: fix some incorrect quoting


Trivial merge