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/Test.hs | |
parent | 709a4a3698cb7cf280dbcc63acf2824d88d1a8c6 (diff) |
Storage: guard changes on watched heads
Diffstat (limited to 'src/Test.hs')
0 files changed, 0 insertions, 0 deletions