BigW Consortium Gitlab

Coq.gitignore 18 Bytes
*.vo
*.glob
*.v.d