Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Octocat-spinner-32-eaf2f5

Cannot retrieve contributors at this time

file 12 lines (11 sloc) 0.197 kb
1 2 3 4 5 6 7 8 9 10 11
# Ignore Emacs backup files
*~
# Ignore the .DS_Store file generated on a Mac
.DS_Store
# Ignore files generated by the Coq compiler
*.vo
*.glob
# Ignore files generated by LaTeX
*.aux
*.log
*.out
Something went wrong with that request. Please try again.