Skip to content

remove filtering code, unused

Christoph Cullmann requested to merge work/remove_unused_completion_features into master

remove code completion filtering code

unused since >> 5 years, untested

Merge request reports