]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/hbugs/.cvsignore
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
no longer use Dbi module but directly use Mysql module since it's 13
[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
Unnamed repository; edit this file 'description' to name the repository.