]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/logger/.cvsignore
packaging cleanup: get rid of ancient debhelpers, use dh_install
[helm.git] / helm / ocaml / logger / .cvsignore
1 *.cma
2 *.cmo
3 *.cmx
4 *.cmi
5 *.cmxa
6 *.a
7 *.o