Merge pull request #631 from acw1251/master
authorClifford Wolf <clifford@clifford.at>
Wed, 19 Sep 2018 13:07:28 +0000 (15:07 +0200)
committerGitHub <noreply@github.com>
Wed, 19 Sep 2018 13:07:28 +0000 (15:07 +0200)
Fixed typo in "verilog_write" help message


Trivial merge