diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2021-12-07 21:47:50 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2021-12-07 21:47:50 +0100 |
| commit | 9e07f08c019a4951fff0a969ca3fb88c8a0d9569 (patch) | |
| tree | b53a5eff812575ad4dcc284c8ff1b3bbee7bad39 /src/Pairing.hs | |
| parent | 709a4a3698cb7cf280dbcc63acf2824d88d1a8c6 (diff) | |
Storage: guard changes on watched heads
Diffstat (limited to 'src/Pairing.hs')
0 files changed, 0 insertions, 0 deletions