Skip to content
Snippets Groups Projects
Commit 813727ae authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'ralf/inv-select' into 'master'

Add `inv select` and `inversion select` tactics

See merge request !546
parents a186464f ab64d367
No related branches found
No related tags found
1 merge request!546Add `inv select` and `inversion select` tactics
Pipeline #99431 passed