aboutsummaryrefslogtreecommitdiffstats
path: root/.gitattributes
Commit message (Expand)AuthorAgeFilesLines
* Make GIT_REV logic work in release tarballsDaniel Gröber2022-05-251-0/+1
* Fix GitHub misidentifying *.v files as Coq.whitequark2020-06-191-0/+1