diff options
author | 2015-10-08 15:01:38 -0400 | |
---|---|---|
committer | 2015-10-08 15:01:38 -0400 | |
commit | 55fb90edfc8732b08bea9239a6f4a471ac7867c3 (patch) | |
tree | 4f6933ac0c8aec8d7344b6248521ae338db23261 /Remote/Git.hs | |
parent | 8152051fcdbdadf43b70420add5bcc2f2c118b9c (diff) |
add removeKey action to Remote
Not implemented for any remotes yet; probably the git remote is the only
one that will ever implement it.
Diffstat (limited to 'Remote/Git.hs')
-rw-r--r-- | Remote/Git.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Remote/Git.hs b/Remote/Git.hs index 8f7e69cbd..725b302b8 100644 --- a/Remote/Git.hs +++ b/Remote/Git.hs @@ -142,6 +142,7 @@ gen r u c gc , retrieveKeyFile = copyFromRemote new , retrieveKeyFileCheap = copyFromRemoteCheap new , removeKey = dropKey new + , lockContent = Nothing , checkPresent = inAnnex new , checkPresentCheap = repoCheap r , whereisKey = Nothing |