From 5a433c5339744d00072c81d555d480f226a591dc Mon Sep 17 00:00:00 2001
From: Felix Van der Jeugt <felix.vanderjeugt@gmail.com>
Date: Thu, 9 Feb 2017 21:10:42 +0100
Subject: [PATCH] df is no longer needed

---
 local/bin/df | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100755 local/bin/df

diff --git a/local/bin/df b/local/bin/df
deleted file mode 100755
index 9f32134..0000000
--- a/local/bin/df
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/bash
-/data/programming/df_linux/df