mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add missing case

Browse source
This commit is contained in:
Joey Hess 2017-09-15 14:32:56 -04:00
parent 3435a47245
commit bdcf19b095
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Remote/External.hs
View file

@ -291,6 +291,7 @@ removeExportDirectoryM external dir = safely $
REMOVEEXPORTDIRECTORY_SUCCESS -> Just $ return True
REMOVEEXPORTDIRECTORY_FAILURE -> Just $ return False
UNSUPPORTED_REQUEST -> Just $ return True
_ -> Nothing
where
req = REMOVEEXPORTDIRECTORY dir