projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dfde1cf) | patch
Fix GitHub misidentifying *.v files as Coq.
authorwhitequark <whitequark@whitequark.org>
Fri, 19 Jun 2020 06:08:18 +0000 (06:08 +0000)
committerwhitequark <whitequark@whitequark.org>
Fri, 19 Jun 2020 06:08:18 +0000 (06:08 +0000)
commit78f39f6ebc7d613cc9cef493661648d8cda07f1c
tree485fb7b894b39b829785ff4ff581ad0ea89e62a3tree
parentdfde1cf1c540d5580d7bc7d24f9f59a004202d60commit | diff
Fix GitHub misidentifying *.v files as Coq.
.gitattributes [new file with mode: 0644] blob