diff --git a/.gitignore b/.gitignore index b4d0dc9..6b5a988 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ _build/ +_opam/ input.txt