projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06fa528) | patch
exhaustiveness check fix
authorJoey Hess <joeyh@joeyh.name>
Tue, 21 Nov 2023 01:34:29 +0000 (21:34 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 21 Nov 2023 01:34:29 +0000 (21:34 -0400)
commite901d31febafd57c13f31c311a974069d00b207d
tree95ca7f95b310c6093dd5a4518db0aece451c7f10tree | snapshot
parent06fa5284081d8f85c3b3dcbbbe64248d25e62f6acommit | diff
exhaustiveness check fix
Utility/DataUnits.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.