diff --git a/.gitignore b/.gitignore index ba7ce2a..7f06c54 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,4 @@ _build *~ *# - +_opam