From 9f4b60e31c0d306d80b9c4778342c8940e277271 Mon Sep 17 00:00:00 2001
From: lodersky <lenhard.odersky@tum.de>
Date: Thu, 4 Apr 2019 16:44:15 +0200
Subject: [PATCH] Add pycharm folder

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

diff --git a/.gitignore b/.gitignore
index 54a019dc..128863b5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 *~
 *.pyc
+.idea/*
 result/*
 results/*
 doc/_build/*
\ No newline at end of file