From 1f4bdfa1f5c6bd40a27080def0299162777c4bbf 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