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)
commitc66266c608c952190ad5fc8b82882cf15013ce26
treea9b8275aaab803e0f452ffc7d361c4ba22b0e87d
parent1f130f74d08198f0c800ae84e1fbb4b94695e426
Handle directories with no regular-file children

i.e. keep exploring child directories when no files remain to process
dups.ml
This page took 0.018727 seconds and 4 git commands to generate.