projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03f46b9) | patch
add configLog to otherLogs
authorJoey Hess <joeyh@joeyh.name>
Thu, 13 May 2021 16:48:56 +0000 (12:48 -0400)
committerJoey Hess <joeyh@joeyh.name>
Thu, 13 May 2021 16:48:56 +0000 (12:48 -0400)
commit10af498be1a9874541eba84bf092af0842d4f463
tree217da3f2f22323e39b3215ee34fcf8e4fda913b2tree | snapshot
parent03f46b95e69afee47f37530068f8783cf65351c0commit | diff
add configLog to otherLogs

This oversight didn't cause any problems because the only place that
uses the information is dropDead, which handles Nothing the same as Just
OtherLog.
Logs.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.