diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2021-08-20 16:09:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-20 16:09:55 +0200 |
| commit | c2866780d2ee82334649237f77a89900fa0de4bc (patch) | |
| tree | 4c5df9bf6e2a88657fd0d873cad55134aed72b21 /Dockerfile | |
| parent | 75a4cdfc8afc10fed80e43fb1ba31c7edaf6e361 (diff) | |
| parent | b59c42734837f6cb987e97d60e56e096c8d4d40a (diff) | |
| download | yosys-c2866780d2ee82334649237f77a89900fa0de4bc.tar.gz yosys-c2866780d2ee82334649237f77a89900fa0de4bc.tar.bz2 yosys-c2866780d2ee82334649237f77a89900fa0de4bc.zip | |
Merge pull request #2973 from YosysHQ/micko/optional_extensions
Make Verific extensions optional
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions