diff options
| author | whitequark <whitequark@whitequark.org> | 2021-01-01 09:39:17 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-01 09:39:17 +0000 |
| commit | 1387c3b41deb4b394745f19aa08ec3c7249c48b9 (patch) | |
| tree | 832e523c70abadc0313c0196e8a9278bde5bd03c /misc/launcher.c | |
| parent | 8759ed98836ca24e31251552b03f800f759629ac (diff) | |
| parent | e61b1070729cf247b3d0d86225f7984a04cf72a1 (diff) | |
| download | yosys-1387c3b41deb4b394745f19aa08ec3c7249c48b9.tar.gz yosys-1387c3b41deb4b394745f19aa08ec3c7249c48b9.tar.bz2 yosys-1387c3b41deb4b394745f19aa08ec3c7249c48b9.zip | |
Merge pull request #2512 from umarcor/plugin-err
plugin: enhance no-plugin error
Diffstat (limited to 'misc/launcher.c')
0 files changed, 0 insertions, 0 deletions