rename create_gpg_pub_file to be update_gpg_pub_file, and add it to
[monkeysphere.git] / src / share / mh /
drwxr-xr-x   ..
-rw-r--r-- 1421 add_hostname
-rw-r--r-- 3332 add_revoker
-rw-r--r-- 6065 diagnostics
-rw-r--r-- 1860 import_key
-rw-r--r-- 711 publish_key
-rw-r--r-- 1897 revoke_hostname
-rw-r--r-- 512 revoke_key
-rw-r--r-- 924 set_expire