projects
/
pgp-tools.git
/ blobdiff
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
fix description
[pgp-tools.git]
/
gpg-mailkeys
/
gpg-mailkeys
diff --git
a/gpg-mailkeys/gpg-mailkeys
b/gpg-mailkeys/gpg-mailkeys
index c065751f6845c8be5e10d2facaa177820eb005ae..2eaeac0aedae17f44d9f23e6a421a2a24fe4c5f5 100755
(executable)
--- a/
gpg-mailkeys/gpg-mailkeys
+++ b/
gpg-mailkeys/gpg-mailkeys
@@
-1,8
+1,12
@@
#! /bin/sh
+#
+# gpg-mailkeys: mail out just signed keys to their owners
+#
+# $Id$
set -e
-VERSION=
"0.3.1"
+VERSION=
'$Rev$'
if [ -z "$*" ]; then
echo "Send people their newly signed GPG key by mail."