From 5a56269b6f16d4cc74255f2d957338e006f976c6 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 13 May 2024 21:07:08 -0400
Subject: [PATCH] gitignore

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

diff --git a/.gitignore b/.gitignore
index 58ec6bb0..a53d73ae 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,4 @@ _opam
 fuzz-*-input
 fuzz-*-output
 fuzz-logs/
+doc/papers