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


c4ee3f2ad18b9be9e1421a6a2ba49abb9a8e8686
[helm.git] / .gitignore
1 *.o
2 *.a
3 *.cmi
4 *.cmo
5 *.cma
6 *.cmx
7 *.cmxa
8 .depend
9 .depend.opt
Unnamed repository; edit this file 'description' to name the repository.