.gitattributes - vericert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/.gitattributes

blob: 5076ac1f760aff3fe092030c63fc9a7f8282a369 (plain)

1
2
3

*.h linguist-language=C
*.c linguist-language=C
*.v linguist-language=Coq