rename create_gpg_pub_file to be update_gpg_pub_file, and add it to
[monkeysphere.git] / man / man1 /
drwxr-xr-x   ..
-rw-r--r-- 6931 monkeysphere.1
-rw-r--r-- 3077 openpgp2ssh.1
-rw-r--r-- 2927 pem2openpgp.1