diff options
| author | whitequark <whitequark@whitequark.org> | 2020-06-19 06:09:42 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-19 06:09:42 +0000 |
| commit | bcbd44c673e07c44da735ef1d7f6eb2b6c328f98 (patch) | |
| tree | 3fb93d472ad6ed83cbca4596a474f60e218af5f3 /frontends/aiger/aigerparse.cc | |
| parent | 87f45b7bd00e0a2b11c3d03161d5fc9747e21cac (diff) | |
| parent | 78f39f6ebc7d613cc9cef493661648d8cda07f1c (diff) | |
| download | yosys-bcbd44c673e07c44da735ef1d7f6eb2b6c328f98.tar.gz yosys-bcbd44c673e07c44da735ef1d7f6eb2b6c328f98.tar.bz2 yosys-bcbd44c673e07c44da735ef1d7f6eb2b6c328f98.zip | |
Merge pull request #2174 from whitequark/fix-github-linguist
Fix GitHub misidentifying *.v files as Coq
Diffstat (limited to 'frontends/aiger/aigerparse.cc')
0 files changed, 0 insertions, 0 deletions