]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/hbugs/.cvsignore
snapshot
[helm.git] / helm / ocaml / hbugs / .cvsignore
1 hbugs_client_gui.ml
2 hbugs_client_gui.mli
3 .generated_tutors.ml
4 .tutors.ml
5 *.cma
6 *.cmi
7 *.cmo
8 *.cmx
9 *.cmxa