diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2019-05-06 21:58:39 +0200 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2019-05-06 21:58:39 +0200 |
commit | 0fb19186ddd80ae71d694071ed56d192e5bb942c (patch) | |
tree | 7f76c27171c502564789f69cf73680ca65595cfb /src/PubKey.hs | |
parent | 1c7e875f67e31c68e76c660294b67078acd4f38f (diff) |
Distinct device and owner identities
Diffstat (limited to 'src/PubKey.hs')
0 files changed, 0 insertions, 0 deletions