From adebe159c9f24930a374e8d43fa56516e8208045 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 12 Mar 2025 22:31:05 +0100
Subject: [PATCH] .gitignore

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

diff --git a/.gitignore b/.gitignore
index 2fd8af4..e7aa889 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,5 @@ _build
 *~
 dune-workspace.afl
 monolith.opam
+input
 output
-- 
GitLab