diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2024-10-09 20:59:35 +0200 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-10-09 20:59:35 +0200 |
commit | 4a45d282d9b76d5858fe8df3dcd02b227e1e3f23 (patch) | |
tree | 96f6dca7665f0be409e5b7656c3d27213044cdd5 /main/Version/Git.hs | |
parent | 52c874ab42cd266d1b26ce1c045fcaf8eb410b32 (diff) |
Handle unknown record item types
Changelog: Handle unknown record item types
Diffstat (limited to 'main/Version/Git.hs')
0 files changed, 0 insertions, 0 deletions