From: Eddie Hung Date: Wed, 19 Jun 2019 22:30:50 +0000 (-0700) Subject: Merge pull request #1111 from acw1251/help_summary_fixes X-Git-Tag: yosys-0.9~65 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3b1e5264d8e333937fa9c06075b092bfd27be317;p=yosys.git Merge pull request #1111 from acw1251/help_summary_fixes Fixed the help summary line for a few commands --- 3b1e5264d8e333937fa9c06075b092bfd27be317