* delkey.c (do_delete_key): Always allow to delete a key in batch mode
[gnupg.git] / keyserver /
drwxr-xr-x   ..
-rw-r--r-- 5076 ChangeLog
-rw-r--r-- 1302 Makefile.am
-rw-r--r-- 19274 gpgkeys_hkp.c
-rw-r--r-- 21527 gpgkeys_ldap.c
-rwxr-xr-x 3093 gpgkeys_mailto.in
-rwxr-xr-x 1716 gpgkeys_test.in