nodogsplash: remove duplicate options, fixes #135
authorMoritz Warning <moritzwarning@web.de>
Sun, 5 Jun 2016 09:43:01 +0000 (11:43 +0200)
committerMoritz Warning <moritzwarning@web.de>
Sun, 5 Jun 2016 09:52:52 +0000 (11:52 +0200)
commitf3f344e949661cbee1df6baa33be365b36d8b7ea
tree53553fc963add1f67bab45105fd714bad6da8bd9
parentc9a41eb08e1603a181e565f704a8602de26ffe22
nodogsplash: remove duplicate options, fixes #135
nodogsplash/files/nodogsplash.init