projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00933f6) | patch
avoid replacing otherwise
authorJoey Hess <joeyh@joeyh.name>
Tue, 21 Nov 2023 00:25:51 +0000 (20:25 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 21 Nov 2023 00:25:51 +0000 (20:25 -0400)
commitd5d570a96c46d3f9cda50894d382b2998e258080
treee840733a4c8ab5b6a49c20e124c283015bbfc227tree | snapshot
parent00933f69df4f2944aab0a35754f78b518387c304commit | diff
avoid replacing otherwise

While authorJoeyHess is True same as otherwise, ghc's exhastiveness
checker turns out to special case otherwise. So this avoids warnings.
Utility/Path.hs diff | blob | history
Utility/ShellEscape.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.