1 files changed, 0 insertions, 6 deletions
diff --git a/Functions/harden b/Functions/harden
deleted file mode 100755
index c02689362..000000000
--- a/Functions/harden
+++ /dev/null
@@ -1,6 +0,0 @@
-#! /bin/sh
-# harden a link (convert it to a singly linked file)
-cp $1 $1.foo
-rm $1
-mv $1.foo $1
-