Skip to content

GitLab

Merged
Created by Christoph Cullmann@cullmann🐮Developer

remove filtering code, unused

remove code completion filtering code

unused since >> 5 years, untested