Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
13 lines (11 sloc) 98 Bytes
*.vo
*.glob
*.pdf
*.crashcoqide
*.pyc
tmp.*
src/deps
src/.sconsign.dblite
coqidescript
coqdoc
*#