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/Erebos/Sync.hs | |
| parent | 5afb63aced2a6c5ec2fd3604f1b898d803686d8d (diff) | |
Shared state helpers usable with other local head updates
Diffstat (limited to 'src/Erebos/Sync.hs')
0 files changed, 0 insertions, 0 deletions