From 5f1fe650032a0e23682dcfa6f3942b8229ba8049 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Mon, 4 Dec 2023 19:58:45 -0600
Subject: Update

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index b7e848e..ed8a09d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,7 +2,7 @@
 _build/
 .merlin
 *.install
-result/**
+result/
 
 # opam
 _opam/
-- 
cgit v1.2.3