diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-10-08 15:01:38 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-10-08 15:01:38 -0400 |
commit | 55fb90edfc8732b08bea9239a6f4a471ac7867c3 (patch) | |
tree | 4f6933ac0c8aec8d7344b6248521ae338db23261 /Remote/External.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/External.hs')
-rw-r--r-- | Remote/External.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Remote/External.hs b/Remote/External.hs index 9f8bd4ccf..68237b939 100644 --- a/Remote/External.hs +++ b/Remote/External.hs @@ -81,6 +81,7 @@ gen r u c gc , retrieveKeyFile = retreiveKeyFileDummy , retrieveKeyFileCheap = \_ _ _ -> return False , removeKey = removeKeyDummy + , lockContent = Nothing , checkPresent = checkPresentDummy , checkPresentCheap = False , whereisKey = towhereis |