]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/metadata/extractor/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / ocaml / metadata / extractor / .cvsignore
1 *.cm[aiox]
2 *.cmxa
3 extractor
4 extractor.opt
5 extractor_manager
6 extractor_manager.opt