From fbbde09279b57d5071dab533fe2ac755c2ab8342 Mon Sep 17 00:00:00 2001
From: Georg Schmid <georg.schmid@epfl.ch>
Date: Mon, 8 Jun 2020 19:44:45 +0200
Subject: [PATCH] Add /runtime/target to gitignore

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

diff --git a/.gitignore b/.gitignore
index ea8c4bf..a562810 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 /target
+/runtime/target