1
0
mirror of https://github.com/github/gitignore synced 2024-10-31 17:18:45 +01:00
gitignore/OCaml.gitignore
2010-11-23 09:36:53 +08:00

10 lines
54 B
Plaintext

*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa