summaryrefslogtreecommitdiff
path: root/isabelle-nix-fhsenv
diff options
context:
space:
mode:
authorstuebinm2021-04-04 02:48:06 +0200
committerstuebinm2021-04-04 02:48:06 +0200
commit23b5db16ce09eb8a73b439a604f49fc7018df53c (patch)
tree32a5cd9c7e0ec2222bd9eac99157520272b8dabe /isabelle-nix-fhsenv
parent98fd0e14ead529e416f327a2a40a2f95f9e1a164 (diff)
usable interface for encryption (pubkey) and decryption (passphrase)
Diffstat (limited to 'isabelle-nix-fhsenv')
0 files changed, 0 insertions, 0 deletions