Merge pull request #1947 from whitequark/cxxrtl-usability
authorwhitequark <whitequark@whitequark.org>
Thu, 16 Apr 2020 21:28:13 +0000 (21:28 +0000)
committerGitHub <noreply@github.com>
Thu, 16 Apr 2020 21:28:13 +0000 (21:28 +0000)
cxxrtl: minor documentation and usability improvements


Trivial merge