From 738401390a16297b895b7e6f015bf8afb980c6ff Mon Sep 17 00:00:00 2001
From: Germain Haugou <germain.haugou@iis.ee.ethz.ch>
Date: Wed, 18 Dec 2019 15:27:46 +0100
Subject: [PATCH] Removed deprecated script

---
 init.sh | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 init.sh

diff --git a/init.sh b/init.sh
deleted file mode 100644
index b39e4e2..0000000
--- a/init.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/bash -e
-
-scriptDir="$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"
-
-export PULPRT_HOME=$scriptDir
-export PULP_SDK_HOME=$PULPRT_HOME
\ No newline at end of file