diff --git a/.gitignore b/.gitignore index 8ad0fa1..9a70a80 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ _opam _build *.json +*.exe