diff --git a/.gitignore b/.gitignore index 4f4239ac..2f4b77cf 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,5 @@ _build/ -_opam/ +_opam .*.swp *.install .merlin