From e66125f808e61011f48bb4aab133c783a7190873 Mon Sep 17 00:00:00 2001
From: Jan Krag <jankrag@gmail.com>
Date: Wed, 24 Jul 2019 13:52:15 +0200
Subject: [PATCH] update gitignore

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

diff --git a/.gitignore b/.gitignore
index 180dd54..9b35082 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,4 +13,5 @@ default_ids.md
 default.pdf
 default-generated.*
 .bundle
-.idea/
\ No newline at end of file
+.idea/
+demorepo