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

about summary refs log tree commit diff stats

path: root/.gitattributes

blob: f30f2a66ab920dfb30f42bc1f82551373f800d10 (plain)

1
2
3

# Files that should be ignored by Github linguist
/test/** linguist-vendored
/doc/** linguist-documentation