Skip to content
Snippets Groups Projects
Commit 495e2cb4 authored by David Douard's avatar David Douard
Browse files

Replace usage of (deprecated) dir_filter by path_filter in Directory.from_disk() 

as well as in GitCheckoutLoader.
parent 39d38c4e
No related branches found
No related tags found
1 merge request!185Replace usage of (deprecated) dir_filter by path_filter in Directory.from_disk()
Pipeline #9311 failed
Stage: external