diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-02-02 12:19:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-02 12:19:17 +0100 |
| commit | 518521c72e7505070ab5d2650e3b6d83e4d31311 (patch) | |
| tree | 7e2fb8db5a1da45cca6c188b8f8ccba04cb1cb25 /frontends/verific/verific.cc | |
| parent | 0a6e2bd5d51025b83d4ff7474e65dd2decf673d5 (diff) | |
| parent | f5609d52c4206d2ce634b0b47510120281a7dcf1 (diff) | |
| download | yosys-518521c72e7505070ab5d2650e3b6d83e4d31311.tar.gz yosys-518521c72e7505070ab5d2650e3b6d83e4d31311.tar.bz2 yosys-518521c72e7505070ab5d2650e3b6d83e4d31311.zip | |
Merge pull request #3182 from yrabbit/wip-doc2
Correct a typo in the manual
Diffstat (limited to 'frontends/verific/verific.cc')
0 files changed, 0 insertions, 0 deletions