Move deleter to extras

This commit is contained in:
Klaus-Uwe Mitterer 2016-12-07 14:16:42 +01:00
parent 3eeb777583
commit 60b43559bf