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/Erebos/Pairing.hs | |
| parent | 1c7e875f67e31c68e76c660294b67078acd4f38f (diff) | |
Distinct device and owner identities
Diffstat (limited to 'src/Erebos/Pairing.hs')
0 files changed, 0 insertions, 0 deletions