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


801e3763489fbb3576de9791f647a4503e14fed8
[helm.git] / .cvsignore
1 *.cmi *.cmo *.cmx *.cma *.cmxa config.make config.cache config.log configure
2 Makefile
3 config.status
Unnamed repository; edit this file 'description' to name the repository.