HomeSoftware Heritage

Fixed bug that made the algorithm unnecessarily walk already known directories

Description

Fixed bug that made the algorithm unnecessarily walk already known directories

Details

Provenance
aevisoAuthored on Nov 15 2020, 11:35 PM
aevisoPushed on Nov 15 2020, 11:35 PM
Parents
rDPROVcc11759ebef9: Minor fixes on configuration.
Branches
Unknown
Tags
Unknown