]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/gdome_xslt/ocaml/test/.cvsignore
projects / helm.git / blob
? search:


6deb7349fc6f02d8450fc25bf85468f13ffeb3a0
[helm.git] / helm / DEVEL / gdome_xslt / ocaml / test / .cvsignore
1 test.cmi
2 test.cmo
3 test.cmx
4 test.o
5 test
6 test.opt
Unnamed repository; edit this file 'description' to name the repository.