From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 22 Feb 2019 05:55:48 +0000 (+0100)
Subject: Merge pull request #819 from YosysHQ/clifford/optd
X-Git-Tag: yosys-0.9~304
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c521f4632f1c82b48a5538c832980668044e8fd9;p=yosys.git

Merge pull request #819 from YosysHQ/clifford/optd

Rename "yosys -D" to "yosys -U", add "yosys -D" with expected behavior
---

c521f4632f1c82b48a5538c832980668044e8fd9