From 987e9acff86aa5bdb464d39f4708c461fe8b4234 Mon Sep 17 00:00:00 2001
From: Fabio Luporini <f.luporini12@imperial.ac.uk>
Date: Fri, 8 Jun 2018 08:54:08 +0200
Subject: [PATCH] pdf files should always be generated via scripts

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

diff --git a/.gitignore b/.gitignore
index e43b0f98..938fec3a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 .DS_Store
+*.pdf