diff options
Diffstat (limited to 'src/pubkey/rw/info.txt')
-rw-r--r-- | src/pubkey/rw/info.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/pubkey/rw/info.txt b/src/pubkey/rw/info.txt index 7a29bd568..40c849d1c 100644 --- a/src/pubkey/rw/info.txt +++ b/src/pubkey/rw/info.txt @@ -10,7 +10,6 @@ bigint if_algo keypair numbertheory -pk_lookup pubkey </requires> |