diff options
author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2009-03-18 14:31:43 -0400 |
---|---|---|
committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2009-03-18 14:31:43 -0400 |
commit | f57fcf0132eb921a0ee494cb14cca6a13c63c4c4 (patch) | |
tree | 8657cd00d7f746a00c1cb8b0b32281377f67264e /src/share/mh | |
parent | e83246495fd806b1e6535ee5a4e5acbacb3c175a (diff) |
remove some extraneous invocations of cat.
Diffstat (limited to 'src/share/mh')
-rw-r--r-- | src/share/mh/set_expire | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/share/mh/set_expire b/src/share/mh/set_expire index 63e5c55..a6bf1f1 100644 --- a/src/share/mh/set_expire +++ b/src/share/mh/set_expire @@ -40,7 +40,7 @@ EOF update_gpg_pub_file -cat <<EOF | log info +log info <<EOF NOTE: Host key expiration date adjusted, but not yet published. Run '$PGRM publish-key' to publish the new expiration date. EOF |