1 files changed, 0 insertions, 18 deletions
diff --git a/source3/script/revert.sh b/source3/script/revert.sh
deleted file mode 100755
index 8df5fd2fbd..0000000000
--- a/source3/script/revert.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/sh
-BINDIR=$1
-shift
-
-for p in $*; do
- p2=`basename $p`
- if [ -f $BINDIR/$p2.old ]; then
-   echo Restoring $BINDIR/$p2.old
-   mv $BINDIR/$p2 $BINDIR/$p2.new
-   mv $BINDIR/$p2.old $BINDIR/$p2
-   rm -f $BINDIR/$p2.new
- else
-   echo Not restoring $p
- fi
-done
-
-exit 0
-