home / code / dups.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: c66266c)
Handle directories with no regular-file children
authorSiraaj Khandkar <siraaj@khandkar.net>
Wed, 14 Nov 2018 17:34:13 +0000 (12:34 -0500)
committerSiraaj Khandkar <siraaj@khandkar.net>
Wed, 14 Nov 2018 17:34:13 +0000 (12:34 -0500)
i.e. keep exploring child directories when no files remain to process


No differences found
OCaml. Duplicate file finder.
This page took 0.016888 seconds and 4 git commands to generate.