.gitignore 44 Bytes
Newer Older
1
2
3
4
5
6
7
8
*.o
*.cmo
*.cdo
*.cma
*.cmi
*.cmx
*.cmxa
*.a