summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 0e10e22792d096a32a88ee526b701fcccb506228 (plain)
1
2
3
4
5
6
_build/*
*.cmi
*.cmx
*.cmo
*.cmxs
*.cmxa