rune/gitignore
1
0
Fork 0
Code Pull Requests Activity
Files
7cc00a1cd0f9d443e0c3377ce56191660df58d45
gitignore/Coq.gitignore
Jason Gross 38c1cfcdbc Update Coq.gitignore after coq/coq#11075 (#3247) 
Add .vok files from https://github.com/coq/coq/pull/11075
2019-11-25 16:45:55 -04:00

269 B
Raw Blame History

View Raw
View Git Blame Copy Permalink