Merge pull request #463 from tobiasd/20171206-rmtgz
authorMichael Vogel <icarus@dabo.de>
Wed, 6 Dec 2017 12:21:19 +0000 (13:21 +0100)
committerGitHub <noreply@github.com>
Wed, 6 Dec 2017 12:21:19 +0000 (13:21 +0100)
deleted forgotten TGZ file


Trivial merge