Revision 87d872592a0a805c220d02b4c811a6979b3dcc21

Committed on 13/06/2017 4:24 am by Kore Nordmann <mail@kore-nordmann.de> [GitHub Diff]

Implemented executing subtree deletes through PAPI