summaryrefslogtreecommitdiff
path: root/main/Version/Git.hs
diff options
context:
space:
mode:
authorRoman Smrž <roman.smrz@seznam.cz>2024-08-10 20:23:23 +0200
committerRoman Smrž <roman.smrz@seznam.cz>2024-08-10 20:31:06 +0200
commit8743ed1b3713a764ccb191e83cb006a7c4ac60d4 (patch)
treee74e29eed1c76e024c6567bb413c9c9e30713e9b /main/Version/Git.hs
parent04b57578655656eb13b3d41c91bd995702c27764 (diff)
Identity: implement sameIdentity using storedRoots
Diffstat (limited to 'main/Version/Git.hs')
0 files changed, 0 insertions, 0 deletions