-
Mikaël Salson authored
Those directories may contain sensitive data and may have a huge number of files. More generally we don't want to modify the external directories Fixes #3638
f96633bd
Those directories may contain sensitive data and may have a huge number of files. More generally we don't want to modify the external directories Fixes #3638