Merge pull request #404 from mwarning/nodogsplash
authorMoritz Warning <moritzwarning@web.de>
Fri, 17 Aug 2018 17:25:52 +0000 (19:25 +0200)
committerGitHub <noreply@github.com>
Fri, 17 Aug 2018 17:25:52 +0000 (19:25 +0200)
commitf18bdeab6cb02675e481152e4cdec33016fe29fd
tree0459a13e51a73207e2e3028ae7eefd7b2123d539
parent938e4dbaa39e8ed3381096e6e29d2637de16365c
parent02966f80c153292cb5b7a1619d46778ce73b96a4
Merge pull request #404 from mwarning/nodogsplash

nodogsplash: fix minor things