summaryrefslogtreecommitdiff
path: root/src/Sync.hs
diff options
context:
space:
mode:
authorRoman Smrž <roman.smrz@seznam.cz>2023-07-02 20:02:11 +0200
committerRoman Smrž <roman.smrz@seznam.cz>2023-07-02 21:52:57 +0200
commitedafccea465f1f9448a1a7ae555b8615e5b5ac1b (patch)
tree85e7b6b5c4e610c27552ad4a8ecb4c4da764ade7 /src/Sync.hs
parent5afb63aced2a6c5ec2fd3604f1b898d803686d8d (diff)
Shared state helpers usable with other local head updates
Diffstat (limited to 'src/Sync.hs')
0 files changed, 0 insertions, 0 deletions