# Helping linguist detect files as Verilog, not Coq.
*.v linguist-language=Verilog