1 files changed, 0 insertions, 16 deletions
diff --git a/checks/signdemokey b/checks/signdemokey
deleted file mode 100755
index e387446c2..000000000
--- a/checks/signdemokey
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/sh
-
-set -e
-
-if [ $# != 3 ]; then
-    echo "Usage: signdemokey name user_id user_id_no"
-    exit 1
-fi
-name="$1"
-user_id="$2"
-user_id_no="$3"
-
-echo "abc" | ../g10/gpg --options ./options --homedir $name \
-		--sign-key --batch --yes --passphrase-fd 0 $user_id \
-		$user_id_no sign save
-