summaryrefslogtreecommitdiffstats
path: root/.gitignore
blob: f80885d74a77df19f17b7b79de60579292a011b3 (plain)
1
2
3
4
_build/
_opam/
*.install
*.merlin