deleted old deb file

This commit is contained in:
2017-02-25 18:37:41 +02:00
committed by GitHub
parent 6e689890a5
commit ed92697294