From 73ead3e3692e5e9c27026a95ba4261ae77614cca 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