Merge pull request #2193 from whitequark/cxxrtl-help-text
authorwhitequark <whitequark@whitequark.org>
Fri, 26 Jun 2020 08:48:15 +0000 (08:48 +0000)
committerGitHub <noreply@github.com>
Fri, 26 Jun 2020 08:48:15 +0000 (08:48 +0000)
cxxrtl: update help text


Trivial merge