]> matita.cs.unibo.it Git - helm.git/blob - .gitignore
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
added .gitignore
[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.