diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-01 21:47:41 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-01 22:02:26 +0200 |
| commit | 75f243e6c5f1663157f934c706f069778507c165 (patch) | |
| tree | 463a19b77df88c0cf482e91477bbb96e2cb05295 /src/Version/Git.hs | |
| parent | c0d2d74524e015f9bbf339ba490764265156ae30 (diff) | |
Try reconnecting to the websocket connection when it's lost
Diffstat (limited to 'src/Version/Git.hs')
0 files changed, 0 insertions, 0 deletions