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