From 4c69b28d03661411e39b4be3617aa979c5365db2 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 3 Dec 2025 13:28:12 -0500 Subject: [PATCH] gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 811fc6e9..85d4d798 100644 --- a/.gitignore +++ b/.gitignore @@ -6,3 +6,4 @@ _opam .merlin *.install *.exe +*.tmp