diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2020-07-30 22:12:54 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2020-07-30 22:12:54 +0200 |
| commit | 96eb8471d11667a56466a6f701d1d23fa64c2225 (patch) | |
| tree | 57dee15821f849be71cb07e97cd925c85d3909c7 /src/state.h | |
| parent | d785003e9979068acc40a679f6470bd28f38fa01 (diff) | |
Fix result of Head update
Also make Ref conversion explicit and comparison operators explicitly
deleted to avoid similar issues.
Diffstat (limited to 'src/state.h')
0 files changed, 0 insertions, 0 deletions