1
0
mirror of https://github.com/github/gitignore synced 2024-12-27 07:10:17 +01:00
gitignore/OCaml.gitignore

10 lines
54 B
Plaintext
Raw Normal View History

2010-11-21 03:31:00 +08:00
*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa