From c73395635bdc7ccdb38ab11b9f89f9a4ab9d4176 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 28 Aug 2024 12:39:07 -0400 Subject: [PATCH] gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 76301f0c..ea2c377b 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ _build _opam +*.tmp