diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-10-11 20:26:23 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-10-11 20:26:23 +0200 |
| commit | afeaad63929112a5838d2095aeb2c8250b254632 (patch) | |
| tree | ed33e195c7bac4e4ae0acf0f930aeba719afe6db /main/Version/Git.hs | |
| parent | ba467d9c2a616c4a717bd3e103ebab33c9434384 (diff) | |
(test) Ondemand object type and parsing
Diffstat (limited to 'main/Version/Git.hs')
0 files changed, 0 insertions, 0 deletions