tweak field name
This commit is contained in:
parent
20a451a58b
commit
78d3add86b
10 changed files with 12 additions and 13 deletions
|
@ -94,7 +94,7 @@ gen r u _ = new <$> remoteCost r defcst
|
|||
, hasKeyCheap = repoCheap r
|
||||
, whereisKey = Nothing
|
||||
, config = Nothing
|
||||
, path = if Git.repoIsLocal r || Git.repoIsLocalUnknown r
|
||||
, localpath = if Git.repoIsLocal r || Git.repoIsLocalUnknown r
|
||||
then Just $ Git.repoPath r
|
||||
else Nothing
|
||||
, repo = r
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue