Skip to content

GitLab

remove filtering code, unused

Merged Christoph Cullmann requested to merge work/remove_unused_completion_features into master

remove code completion filtering code

unused since >> 5 years, untested