summaryrefslogtreecommitdiff
path: root/src/Erebos/Identity.hs
diff options
context:
space:
mode:
authorRoman Smrž <roman.smrz@seznam.cz>2023-07-26 23:29:47 +0200
committerRoman Smrž <roman.smrz@seznam.cz>2023-07-26 23:29:47 +0200
commit71cfee5086a6bf1c7a810d83fd67320bb9552197 (patch)
tree5177eea786ae75bc9c2a9d6202f215cd722defe6 /src/Erebos/Identity.hs
parent941ba9a209fa03b1c059b2b02a8e4cf4a270030e (diff)
Accept multiple refs for typed cat-file command
Diffstat (limited to 'src/Erebos/Identity.hs')
0 files changed, 0 insertions, 0 deletions