Skip to content
Snippets Groups Projects
Commit 73eb518f authored by Wuttke, Joachim's avatar Wuttke, Joachim
Browse files

use setPolFilter, and rm triv test

parent 75bc663b
No related branches found
No related tags found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 1110 additions and 225 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment