diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2024-07-19 22:03:44 +0200 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-07-19 22:03:44 +0200 |
commit | aa1b5c547329036bc9a5fa54d8f609c435da6389 (patch) | |
tree | 36f069eb4e9a6b1873f8f1c09630f8f7c944dc21 /src/Util.hs | |
parent | aa48a173cb2619dc59efbfd8f8bbc036fddfd675 (diff) |
Handle extended identity in "cat-file identity"
Diffstat (limited to 'src/Util.hs')
0 files changed, 0 insertions, 0 deletions