diff options
author | 2015-10-09 18:03:00 -0400 | |
---|---|---|
committer | 2015-10-09 18:03:00 -0400 | |
commit | 2512faa6301603cfbda9706acb6b3670d3311e7f (patch) | |
tree | 2c07df8981953fb2dcf81abc0694648a34b44c87 /Remote/External.hs | |
parent | b65e678e7b557520be4b63eb0e91d88682e1dd42 (diff) | |
parent | bef58852d9b6150b0e2a47c412bd12dcc34a7794 (diff) |
Merge branch 'dropproof'
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 |