From 09b4e4ae191ce54f540591276d53e4fea0ad0292 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 30 Oct 2023 22:25:02 -0400 Subject: [PATCH] gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 8ad0fa1..9a70a80 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ _opam _build *.json +*.exe