Merge pull request #175 from raphinesse/remove-unused-stuff
authorRaphael von der Grün <raphinesse@gmail.com>
Wed, 19 Sep 2018 18:54:03 +0000 (20:54 +0200)
committerGitHub <noreply@github.com>
Wed, 19 Sep 2018 18:54:03 +0000 (20:54 +0200)
Remove unused stuff


Trivial merge