mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

add configLog to otherLogs

Browse source 
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.
This commit is contained in:
Joey Hess 2021-05-13 12:48:56 -04:00
parent 03f46b95e6
commit 10af498be1
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Logs.hs
View file

@ -91,6 +91,7 @@ otherLogs :: [RawFilePath]
otherLogs =
[ numcopiesLog
, mincopiesLog
, configLog
, groupPreferredContentLog
]