Merge pull request #894 from dooglus/nosplash
authorWladimir J. van der Laan <laanwj@gmail.com>
Sat, 25 Feb 2012 07:51:50 +0000 (23:51 -0800)
committerWladimir J. van der Laan <laanwj@gmail.com>
Sat, 25 Feb 2012 07:51:50 +0000 (23:51 -0800)
Add option "-splash" so we can disable the splash screen.


Trivial merge