Skip to content
Snippets Groups Projects

Remove (deprecated) dir_filter arg from Directory.from_disk()

Passed
Jenkins Bot created pipeline for commit a3470344
, finished
For master
branch
1 job