Commit 40a943ea authored 3 years ago by Robbert Krebbers

Merge branch 'robbert/Permutation_app' into 'master'

Fix priority of `Permutation_app'`.

Closes #114

See merge request !291

No related branches found

No related tags found

Checking pipeline status