diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-08-20 09:48:12 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-08-20 09:48:12 +0200 |
| commit | 485e870bcd563c843a257b4c8178589c9c3a3e66 (patch) | |
| tree | ec48f1cccfe68d2b74e0959038a827189af6b181 /libs/ezsat | |
| parent | 1af1cebb64b5d8d3f0a66d01d05762a15b3bc0db (diff) | |
| download | yosys-485e870bcd563c843a257b4c8178589c9c3a3e66.tar.gz yosys-485e870bcd563c843a257b4c8178589c9c3a3e66.tar.bz2 yosys-485e870bcd563c843a257b4c8178589c9c3a3e66.zip | |
Added version info to yosys command and added -V option
Diffstat (limited to 'libs/ezsat')
0 files changed, 0 insertions, 0 deletions