Commit 87382ea2 authored by eric pellegrini's avatar eric pellegrini
Browse files

Merge branch 'bugfix-show_file_filter_on_macos' into 'develop'

Added system option for displaying file filter widget on MacOS

See merge request !28
parents 5059a1e2 f7bdce1f
Pipeline #4236 passed with stages
in 32 minutes and 13 seconds