1 files changed, 0 insertions, 5 deletions
diff --git a/tools/git-get-rev b/tools/git-get-rev
deleted file mode 100755
index 9adda35ca7..0000000000
--- a/tools/git-get-rev
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-#
-
-GIT_PAGER=cat
-git log -10 | grep git-svn-id | head -1
-\ No newline at end of file