diff --git a/.gitignore b/.gitignore index c030c249..811fc6e9 100644 --- a/.gitignore +++ b/.gitignore @@ -5,3 +5,4 @@ _opam *.db .merlin *.install +*.exe