Merge pull request #395 from mwarning/nodogsplash2
authorMoritz Warning <moritzwarning@web.de>
Mon, 23 Jul 2018 22:13:15 +0000 (00:13 +0200)
committerGitHub <noreply@github.com>
Mon, 23 Jul 2018 22:13:15 +0000 (00:13 +0200)
commite46736e78c1bbea4d6b7e1949e9a60fd33790c2f
tree8adddfe9b47a7e5872e51004fb13f781a0fda448
parent512084e948cc33019da774a06e0f0589d45194ad
parentfa70e4cdc6de580a5ccfb3330c4fac9c3a5991e8
Merge pull request #395 from mwarning/nodogsplash2

nodogsplash2: cleanup