From: Eddie Hung Date: Mon, 27 Apr 2020 18:12:17 +0000 (-0700) Subject: Merge pull request #1992 from YosysHQ/eddie/bugpoint_help X-Git-Tag: working-ls180~584 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=eabc00de8b42ba541b2f45a7677746984067b77b;p=yosys.git Merge pull request #1992 from YosysHQ/eddie/bugpoint_help bugpoint: improve help text --- eabc00de8b42ba541b2f45a7677746984067b77b