diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-16 09:10:09 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-16 09:10:09 +0200 |
| commit | dc8be3ac86b92c791b398559d5f1132121d0e7ea (patch) | |
| tree | d2392b47349aa30fbc992bb07de2b7e5829dec53 /main/Version/Git.hs | |
| parent | d1ae298161660e5fd2ac9a0dcbc3c3b3305a05e5 (diff) | |
Keep updated LocalState head in Server object
Diffstat (limited to 'main/Version/Git.hs')
0 files changed, 0 insertions, 0 deletions