From 65a713c33ca1ad30eedaac96d19018c3118ae891 Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Mon, 19 Oct 2015 16:46:09 +0200
Subject: [PATCH] updated .gitignore

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

diff --git a/.gitignore b/.gitignore
index af4940cf..4e183355 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,4 +13,6 @@
 /tmp
 /vagrant/
 *.sublime-*
-/.idea
\ No newline at end of file
+/.idea
+/.vagrant
+*.iml
\ No newline at end of file