-
Milian Wolff authored
This allows us to set a specific path filter which can be used to reduces the size of the problem set. Note that this is similar to the existing proxy model filter, but has the big advantage that we can filter earlier. Especially for large projects, this allows us to filter once, instead of repeatedly whenever you are editing a file.
1ba4c4dd