New issue

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

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

English fixes for Options.md #606

Merged

ohler55 merged 1 commit into ohler55:develop from dsinn:patch-1

Jul 9, 2020

Contributor

dsinn commented Jul 9, 2020

No description provided.


          English fixes for Options.md

b613985

Owner

ohler55 commented Jul 9, 2020

Thanks. My writing ability is pretty poor when it comes to proofreading.

ohler55 merged commit a37b495 into ohler55:develop

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment