search

openpower-cores / a2o

Other
138 stars 25 forks source link

Stop GitHub from reporting "74.6% Coq" #1

Closed shingarov closed 4 years ago

shingarov commented 4 years ago

On the title page of the project, GitHub incorrectly autodetects the language as "74.6% Coq". Help Linguist by manually telling it all those .v files are Verilog, not Coq.

openpower-cores commented 4 years ago

Thanks!