Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Add option "-splash" so we can disable the splash screen. #894
pushed a commit
this pull request
Jul 17, 2012