diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-02-22 06:55:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-22 06:55:48 +0100 |
| commit | c521f4632f1c82b48a5538c832980668044e8fd9 (patch) | |
| tree | 1c865ec04e25c043172d319b6187664cbdf6bc8b /frontends | |
| parent | 25a3a961073335de138f8a037fc4b723572f1b68 (diff) | |
| parent | 0a6588569bb859d74876bf50956cb5f02cf3a31d (diff) | |
| download | yosys-c521f4632f1c82b48a5538c832980668044e8fd9.tar.gz yosys-c521f4632f1c82b48a5538c832980668044e8fd9.tar.bz2 yosys-c521f4632f1c82b48a5538c832980668044e8fd9.zip | |
Merge pull request #819 from YosysHQ/clifford/optd
Rename "yosys -D" to "yosys -U", add "yosys -D" with expected behavior
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions