From 5baf68465f6af3e4e4bf089965b38c917dd66145 Mon Sep 17 00:00:00 2001
From: Martin Ambrus <martin@martinambrus.com>
Date: Mon, 28 Aug 2017 23:14:32 +0200
Subject: [PATCH] chore: installation_done does not need to be in repo

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

diff --git a/.gitignore b/.gitignore
index 9d89f1ad..e892e70d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,3 +23,4 @@ install/installation_done
 /.buildpath
 /.project
 /installed_*/
+/installation_done