rename git-annex index file
This commit is contained in:
parent
d05fd11392
commit
1b21dd99c5
1 changed files with 1 additions and 1 deletions
|
@ -54,7 +54,7 @@ shortref = remove "refs/heads/" . remove "refs/remotes/"
|
|||
|
||||
{- A separate index file for the branch. -}
|
||||
index :: Git.Repo -> FilePath
|
||||
index g = Git.workTree g </> Git.gitDir g </> "index." ++ name
|
||||
index g = gitAnnexDir g </> "index"
|
||||
|
||||
{- Populates the branch's index file with the current branch contents.
|
||||
-
|
||||
|
|
Loading…
Add table
Reference in a new issue