Skip to content
This repository has been archived by the owner on Jun 23, 2022. It is now read-only.

minor format and correctness edits #7

Merged
merged 1 commit into from
Nov 30, 2015
Merged

minor format and correctness edits #7

merged 1 commit into from
Nov 30, 2015

Conversation

robertgeiger
Copy link

Some minor readability, grammar, and correctness fixes.

aw-was-here added a commit that referenced this pull request Nov 30, 2015
minor format and correctness edits
@aw-was-here aw-was-here merged commit efe372a into master Nov 30, 2015
@aw-was-here aw-was-here deleted the rgedits1028 branch November 30, 2015 23:03
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants