.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: 30dd12d25d30d69e7b6d12cf33c3661f03da1846 (plain)

*.h linguist-language=C
*.c linguist-language=C
*.v linguist-language=Coq
benchmarks/* linguist-vendored