Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Improve quoting for serverargs and launchflags, plus minor improvements. #14

Merged
merged 11 commits into from Nov 9, 2012

Conversation