diff --git a/.gitignore b/.gitignore index 607c18c6..23b7111b 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,5 @@ _build +_opam .merlin *.install target