From: whitequark <whitequark@whitequark.org>
Date: Wed, 24 Mar 2021 23:39:19 +0000 (+0000)
Subject: Merge pull request #2702 from modwizcode/patch-1
X-Git-Tag: yosys-0.10~231
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4762ed90ff6d3f1e9342fd306f97cae91960e2bd;p=yosys.git

Merge pull request #2702 from modwizcode/patch-1

Clarify bugpoint documentation regarding output
---

4762ed90ff6d3f1e9342fd306f97cae91960e2bd