From 3250a8ba5785ee668fe36c8419fb612959120989 Mon Sep 17 00:00:00 2001
From: Johannes Wendel <j_wendel14@cs.uni-kl.de>
Date: Thu, 16 Jul 2020 20:45:46 +0200
Subject: [PATCH] modifies init

---
 init/init.py | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 init/init.py

diff --git a/init/init.py b/init/init.py
old mode 100644
new mode 100755