Skip to content

TrigNavTools: Remove unused thinning code.

Remove thinning/slimming code that is now unused.

Merge request reports