projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 96ade54 ce29ede)
Merge pull request #1111 from acw1251/help_summary_fixes
authorEddie Hung <eddie@fpgeh.com>
Wed, 19 Jun 2019 22:30:50 +0000 (15:30 -0700)
committerGitHub <noreply@github.com>
Wed, 19 Jun 2019 22:30:50 +0000 (15:30 -0700)
Fixed the help summary line for a few commands


Trivial merge