From 6dd094a8a97be0d80eadeca2470293087bd29c23 Mon Sep 17 00:00:00 2001
From: Michael Rodler <michael@michaelrodler.at>
Date: Wed, 1 Jun 2016 13:55:49 +0200
Subject: [PATCH] manage-tools script contained some git merge artifacts, which
 broke the script

---
 bin/manage-tools | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/bin/manage-tools b/bin/manage-tools
index 6d44166..eb7d30a 100755
--- a/bin/manage-tools
+++ b/bin/manage-tools
@@ -162,14 +162,10 @@ case $ACTION in
 
 		base_build_setup "$DISTRI"
 
-<<<<<<< HEAD
 		echo "PATH=\"$PWD/bin:\$PATH\"" >> ~/.bashrc
+
 		if [ -e ~/.zshrc ]
 		then
-=======
-        	if [ -e ~/.zshrc ]
-        	then
->>>>>>> 82571b6917b6dbb212e722d35c6f7d2d99b7e0cb
 			echo "PATH=\"$PWD/bin:\$PATH\"" >> ~/.zshrc
 		fi