Skip to content

cleanup files termination categories

Matthias Heizmann requested to merge github/fork/Heizmann/master into master

first commit removes several duplicate files (discussed with Thomas) other three commits are minor bugfixes

Merge request reports