projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 87f45b7 78f39f6)
Merge pull request #2174 from whitequark/fix-github-linguist
authorwhitequark <whitequark@whitequark.org>
Fri, 19 Jun 2020 06:09:42 +0000 (06:09 +0000)
committerGitHub <noreply@github.com>
Fri, 19 Jun 2020 06:09:42 +0000 (06:09 +0000)
Fix GitHub misidentifying *.v files as Coq


Trivial merge