This commit is contained in:
Julian Ospald 2016-05-24 03:25:27 +02:00
parent f2fe5a3419
commit 4032629407
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28
1 changed files with 1 additions and 0 deletions

View File

@ -213,6 +213,7 @@ sameFile fp1 fp2 =
else return False
-- TODO: make this more robust when destination does not exist
-- |Checks whether the destination directory is contained
-- within the source directory by comparing the device+file ID of the
-- source directory with all device+file IDs of the parent directories