diff options
author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-06-13 12:25:58 -0400 |
---|---|---|
committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-06-13 12:25:58 -0400 |
commit | b93d6398d799376a572414a30d7b4f02beadd137 (patch) | |
tree | 14378a31adb9c11fb2e995205af4ff254bfcc750 /debian | |
parent | ca5d2766c5c143a34b095c5dcb3c829285b2c28e (diff) | |
parent | 3caa700a0443ab2499da42d32b3ffcd7039fc591 (diff) |
Merge commit 'jrollins/master'
Diffstat (limited to 'debian')
-rw-r--r-- | debian/monkeysphere.manpages | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/monkeysphere.manpages b/debian/monkeysphere.manpages index 6e2cb92..a8f6c16 100644 --- a/debian/monkeysphere.manpages +++ b/debian/monkeysphere.manpages @@ -1,3 +1,4 @@ man/man1/monkeysphere.1 man/man1/openpgp2ssh.1 +man/man1/monkeysphere-ssh-proxycommand.1 man/man8/monkeysphere-server.8 |