Skip to content
Commit 0b10a4b0 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Merge branch 'unused-center-pruning' into 'master' 

Unused center pruning

Closes #53

See merge request !48
parents 292086df 2811931b
Pipeline #7414 passed with stage
in 3 hours, 46 minutes, and 10 seconds