diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-07-26 23:29:47 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-07-26 23:29:47 +0200 |
| commit | 71cfee5086a6bf1c7a810d83fd67320bb9552197 (patch) | |
| tree | 5177eea786ae75bc9c2a9d6202f215cd722defe6 /src/Erebos/Identity.hs | |
| parent | 941ba9a209fa03b1c059b2b02a8e4cf4a270030e (diff) | |
Accept multiple refs for typed cat-file command
Diffstat (limited to 'src/Erebos/Identity.hs')
0 files changed, 0 insertions, 0 deletions