Move deleter to extras

This commit is contained in:
Klaus-Uwe Mitterer 2016-12-07 14:16:42 +01:00
parent e1a8067593
commit 47a0b7f7d4