aboutsummaryrefslogtreecommitdiffstats
path: root/conf/gitignore/Coq
blob: d3083b3a605d974e7af5060029a58012d71c251b (plain)
1
2
3
*.vo
*.glob
*.v.d