diff options
| author | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-08-18 08:47:50 -0700 |
|---|---|---|
| committer | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-08-18 08:47:50 -0700 |
| commit | d7d179a481d549a600e44d24d19df219ed497cfd (patch) | |
| tree | 07945218020c103ffed243d230aa24667e37b71a /src/monkeysphere-server | |
| parent | 72a88981d0fbabb60b6094b43fb6e87b141e8b15 (diff) | |
| parent | 26ad8fe480056709dacf9e06e8151de167a908ab (diff) | |
Merge commit 'dkg/master'
Diffstat (limited to 'src/monkeysphere-server')
| -rwxr-xr-x | src/monkeysphere-server | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monkeysphere-server b/src/monkeysphere-server index fcd3114..6754b23 100755 --- a/src/monkeysphere-server +++ b/src/monkeysphere-server @@ -493,7 +493,7 @@ EOF show_server_key - echo "NOTE: User ID revoked, but revokation not published." + echo "NOTE: User ID revoked, but revocation not published." echo "Run '$PGRM publish-key' to publish the revocation." else failure "Problem revoking user ID." |