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 | |
| 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
| -rw-r--r-- | .gitattributes | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 000000000..f85ae06c9 --- /dev/null +++ b/.gitattributes @@ -0,0 +1 @@ +*.v linguist-language=Verilog |