From bc9c30ad5fec57ce0826b1c8db2e617d6afd8497 Mon Sep 17 00:00:00 2001
From: Matthew Gretton-Dann <matt@gretton-dann.org.uk>
Date: Mon, 2 Dec 2024 08:40:55 +0000
Subject: [PATCH] Ignore all files called input*.txt

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

diff --git a/.gitignore b/.gitignore
index 6b5a988..be7e04e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,3 @@
 _build/
 _opam/
-input.txt
+input*.txt