diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2021-01-15 22:13:00 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2021-01-15 22:13:00 +0100 |
| commit | 1466751256580d8b0e6eea46a8028dcab9742f6b (patch) | |
| tree | dca7436625bb6957c707f329fa12086300660dd6 /include/erebos | |
| parent | 381b6505b5afaacc9194168697f6bc93c43d2775 (diff) | |
Storage: do not try to replace Head without change
Diffstat (limited to 'include/erebos')
0 files changed, 0 insertions, 0 deletions