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)
commitac2b518971de8c116dcae6a8e39a8e6f3cc3f567
treeb151cae2dfa9957cd10708ddd1f7c48cc0cd56ee
parenta2c78c790e0a79ff974e239ebd8007ebf43a78bb
parent71574f236db866853cb395db88a1dd69f28c7e39
Merge pull request #175 from raphinesse/remove-unused-stuff

Remove unused stuff