From d7ed71412b31ac8e2e48788195a5a946c17328cb Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 19 Mar 2025 21:02:47 -0400 Subject: [PATCH] gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index c030c249..811fc6e9 100644 --- a/.gitignore +++ b/.gitignore @@ -5,3 +5,4 @@ _opam *.db .merlin *.install +*.exe