Merge pull request #2578 from volth/patch-5

probably typo
This commit is contained in:
Eelco Dolstra 2018-12-13 10:17:11 +01:00 committed by GitHub
commit 522cebdef4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -202,7 +202,7 @@ bool isInDir(const Path & path, const Path & dir)
bool isDirOrInDir(const Path & path, const Path & dir)
{
return path == dir or isInDir(path, dir);
return path == dir || isInDir(path, dir);
}