Skip to content

Fixed Incorrect Naming: Clearing, not Pruning

Compare
Choose a tag to compare
@thomasWeise thomasWeise released this 08 Apr 12:37
· 101 commits to master since this release
fixed naming issues and documentation

In EAs, it is actually not called pruning, but clearing ... Ooops