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)
commit18a40458588f04bf7a3d30fde8fead95cee00dee
treeda23af7c69738e043e7cd4cceb15c050956578b9
parentdb1a5ec6a2a437b296e7ba9de78afaf3b440327f
parent6323e73cc94627125a275b22b0b8ea290e750bc3
Merge pull request #936 from YosysHQ/README-fix-quotes

README: fix some incorrect quoting