From c32a69a368e6539c5791d3d69e0bb088ff41d237 Mon Sep 17 00:00:00 2001
From: Themis Demetriades <td1223@ic.ac.uk>
Date: Tue, 15 Oct 2024 17:00:02 +0100
Subject: [PATCH] Update repository settings to ignore shell scripts

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

diff --git a/.gitignore b/.gitignore
index 5d8d05c..9546b0d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,9 @@
 #ignore pdf files (just keep source files)
 *.pdf
 
+#ignore shell scripts (only used for testing)
+*.sh
+
 #ignore junk files from latex output
 *.out
 *.log