From 98a761004b9468d2d9678acdd61dafcb7a23688a Mon Sep 17 00:00:00 2001
From: Christopher Pulte <cp526@cam.ac.uk>
Date: Wed, 17 Jul 2024 11:34:56 +0100
Subject: [PATCH] gitignore ./check

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

diff --git a/.gitignore b/.gitignore
index 2a39c64d..098ccd9c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 build/*
-/.vscode/
\ No newline at end of file
+/.vscode/
+check
\ No newline at end of file