diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-02-21 14:27:46 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-02-21 14:27:46 +0100 |
| commit | 953e0bf88d363180619452dd0049268ee9cfbb67 (patch) | |
| tree | b2b166700347ffea2b31263eb54eed49a3311e31 /libs/minisat/00_PATCH_no_fpu_control.patch | |
| parent | 31fea5eb33a5f2feef65b38df869fed217323fb6 (diff) | |
| download | yosys-953e0bf88d363180619452dd0049268ee9cfbb67.tar.gz yosys-953e0bf88d363180619452dd0049268ee9cfbb67.tar.bz2 yosys-953e0bf88d363180619452dd0049268ee9cfbb67.zip | |
Rename "yosys -D" to "yosys -U", add "yosys -D" with expected behavior
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'libs/minisat/00_PATCH_no_fpu_control.patch')
0 files changed, 0 insertions, 0 deletions