deleteJar

This commit is contained in:
Martin Plümicke 2018-09-10 15:02:53 +02:00
commit b416931dee