Remove dead andFilters concept from Problems view filter#3861

vogella merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

vogella:remove-dead-andfiltersvogella/eclipse.platform.ui:remove-dead-andfiltersCopy head branch name to clipboard