diff options
| author | joe <joe@jerkface.net> | 2018-05-30 23:53:44 -0400 |
|---|---|---|
| committer | joe <joe@jerkface.net> | 2018-05-30 23:53:44 -0400 |
| commit | 514d0cad3f2ccaf0e89aadb4ab3067884ec20a6c (patch) | |
| tree | a7d15e0d3592f123b10f2da3a458c023bd74de5b /src/DPut.hs | |
| parent | 2cffde93a0d814ebb54bdcbd3d6e598cbaae6ee1 (diff) | |
tox: Removed obsolete "userKeys" TVar, use keys from ContactInfo.
Diffstat (limited to 'src/DPut.hs')
0 files changed, 0 insertions, 0 deletions