Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
20 lines (19 sloc) 130 Bytes
# coq
*.vo
*.glob
*.v.d
# ocaml
*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa
# ocamldep
*.ml.d
*.mli.d
*.mllib.d
*.ml4.d