cleaned up lots of FIXMEs in ProofToLatex
[coq-hetmet.git] / .gitignore
1 build/
2 build/**