diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2023-07-02 20:02:11 +0200 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-07-02 21:52:57 +0200 |
commit | edafccea465f1f9448a1a7ae555b8615e5b5ac1b (patch) | |
tree | 85e7b6b5c4e610c27552ad4a8ecb4c4da764ade7 /src/Network/Protocol.hs | |
parent | 5afb63aced2a6c5ec2fd3604f1b898d803686d8d (diff) |
Shared state helpers usable with other local head updates
Diffstat (limited to 'src/Network/Protocol.hs')
0 files changed, 0 insertions, 0 deletions