1 files changed, 0 insertions, 12 deletions
diff --git a/tools/version.sh b/tools/version.sh
deleted file mode 100644
index f1cc5948..00000000
--- a/tools/version.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/sh
-
-if test -d .git ; then
-if type git >/dev/null 2>&1 ; then
-git describe --tags --match 'v[0-9]*' 2>/dev/null \
-| sed -e 's/^v//' -e 's/-/-git-/'
-else
-sed 's/$/-git/' < VERSION
-fi
-else
-cat VERSION
-fi