Skip to content
This repository was archived by the owner on Aug 10, 2021. It is now read-only.

Corrected spelling/grammar wherever needed #1818

Merged
merged 1 commit into from
Jul 19, 2018
Merged

Corrected spelling/grammar wherever needed #1818

merged 1 commit into from
Jul 19, 2018

Conversation

mjguru
Copy link
Contributor

@mjguru mjguru commented Jul 19, 2018

Corrected few typos, added or removed punctuations wherever appropriate.

@ilmat192 ilmat192 merged commit 7ddfd8d into JetBrains:master Jul 19, 2018
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