diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-08-16 11:01:40 -0400 |
|---|---|---|
| committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-08-16 11:01:40 -0400 |
| commit | 7c31f3eda8d4a5015ad0203ecbbcb5846ffe7802 (patch) | |
| tree | d43a791ce856eb7585f0ef27a4aa165e1fc2cc17 | |
| parent | df0e87db1b2f8a8c762d1a1f9ce3c7cd22845b46 (diff) | |
fixed typo in output.
| -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." |