1
0
mirror of https://github.com/github/gitignore synced 2024-11-30 15:42:52 +01:00
gitignore/OCaml.gitignore

10 lines
54 B
Plaintext
Raw Normal View History

2010-11-20 20:31:00 +01:00
*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa