diff options
| author | Claire Wolf <clifford@clifford.at> | 2020-01-27 12:59:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-27 12:59:27 +0100 |
| commit | de6006fbc82406d2942d0740bcfc7a4418070c9b (patch) | |
| tree | a378dec1d0fea6f8ef29483c4c00b8fdb2dd9885 /backends/smt2/smtio.py | |
| parent | 81e6b040a4e9a6c8def9c4d68851e2a1f9328ed8 (diff) | |
| parent | b76b02358439cd04ed5cad5cb889e8b43c801ac1 (diff) | |
| download | yosys-de6006fbc82406d2942d0740bcfc7a4418070c9b.tar.gz yosys-de6006fbc82406d2942d0740bcfc7a4418070c9b.tar.bz2 yosys-de6006fbc82406d2942d0740bcfc7a4418070c9b.zip | |
Merge pull request #1613 from porglezomp-misc/version-flag-alias
Add --version and -version as aliases for -V
Diffstat (limited to 'backends/smt2/smtio.py')
0 files changed, 0 insertions, 0 deletions