server/keymgmt.c: Detect if a private keys records a wrong public key.
[tripe] / py /
drwxr-xr-x   ..
-rw-r--r-- 1559 Makefile.am
-rw-r--r-- 6592 rmcr.py
-rw-r--r-- 43340 tripe.py.in