From: whitequark <whitequark@whitequark.org>
Date: Fri, 19 Jun 2020 06:09:42 +0000 (+0000)
Subject: Merge pull request #2174 from whitequark/fix-github-linguist
X-Git-Tag: working-ls180~461
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bcbd44c673e07c44da735ef1d7f6eb2b6c328f98;p=yosys.git

Merge pull request #2174 from whitequark/fix-github-linguist

Fix GitHub misidentifying *.v files as Coq
---

bcbd44c673e07c44da735ef1d7f6eb2b6c328f98