From 58d8d656e3e805888de2932ff58c71ba76e8027b Mon Sep 17 00:00:00 2001
From: Alexander Sulfrian <alex@spline.inf.fu-berlin.de>
Date: Tue, 17 Nov 2015 01:42:40 +0100
Subject: settings.sh: Remove DIFF

Removed unused variable.
---
 settings.sh | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/settings.sh b/settings.sh
index 60acaf9..0f1523c 100644
--- a/settings.sh
+++ b/settings.sh
@@ -3,11 +3,6 @@ REAL="/var/lib/bcfg2"
 OLDPWD="$(pwd)"
 BINDIR="$( cd -P "$( dirname -- "$0" )" >/dev/null && pwd )"
 
-DIFF=diff
-if hash colordiff >/dev/null 2>&1; then
-    DIFF=colordiff
-fi
-
 error() {
     echo "$@" 1>&2
     echo "Aborting." 1>&2
-- 
cgit v1.2.3-1-g7c22