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)
commit3840cfc016cb3b7f408b4b56c30911089218e6a8
tree75dc09ee273c30243a80c64263f67f0146185308
parent12c016ebdc61d3eba681579e7b0b4d81672e498f
parenta746c4b605f489153f5e315cdec36c2be81355f4
Merge pull request #2193 from whitequark/cxxrtl-help-text

cxxrtl: update help text