From 351fdaadd3b358c66b0be7130e694331e1bb5541 Mon Sep 17 00:00:00 2001
From: Gabriel Scherer <gabriel.scherer@gmail.com>
Date: Fri, 21 Feb 2025 21:22:43 +0100
Subject: [PATCH] .gitignore: ignore output/

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

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