diff options
author | 2015-12-24 19:23:18 -0400 | |
---|---|---|
committer | 2015-12-24 19:23:18 -0400 | |
commit | 819389465d4caedd10e905f0945c60e3fc67c8ea (patch) | |
tree | 7c722fbf22d2461fd38fe1986d157de322c17922 /Remote | |
parent | 378417c70338418ce2fd42643cad5b2f31d7ed8e (diff) | |
parent | a9b36eb958b2dec1cefefe92262965b0f7dceb27 (diff) |
Merge branch 'smudge'
Diffstat (limited to 'Remote')
-rw-r--r-- | Remote/Git.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Remote/Git.hs b/Remote/Git.hs index 890e40b51..6dc5345c9 100644 --- a/Remote/Git.hs +++ b/Remote/Git.hs @@ -672,7 +672,7 @@ wantHardLink :: Annex Bool wantHardLink = (annexHardLink <$> Annex.getGitConfig) <&&> (not <$> isDirect) -- Copies from src to dest, updating a meter. If the copy finishes --- successfully, calls a final check action, which must also success, or +-- successfully, calls a final check action, which must also succeed, or -- returns false. -- -- If either the remote or local repository wants to use hard links, |