From 7ca22e98ebb8a8843e09bbe1ba85e00dbd0720b2 Mon Sep 17 00:00:00 2001
From: James Ball <jhb119@ic.ac.uk>
Date: Fri, 27 Nov 2020 23:35:47 +0000
Subject: [PATCH] Remove libraries in /lib from repo

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

diff --git a/.gitignore b/.gitignore
index c42048f..83bbf94 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,8 @@
 /out
 
+# Ignore libraries in /lib
+/lib
+
 # Ignore all models (excluding cube and machine)
 /models/*