From 77083e3e815bb3d0165301f7e4574e060ced0426 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
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