Skip to content

Minor typos and elim. tabs#219

Merged
ggreif merged 4 commits intomasterfrom
gabor/typos
Mar 7, 2019
Merged

Minor typos and elim. tabs#219
ggreif merged 4 commits intomasterfrom
gabor/typos

Conversation

@ggreif
Copy link
Contributor

@ggreif ggreif commented Mar 6, 2019

No description provided.

@ggreif ggreif requested a review from crusso March 7, 2019 09:30
@nomeata
Copy link
Contributor

nomeata commented Mar 7, 2019

You are continuously embarrassing me. I hope I have less typos in the code than in the comments :-)

@ggreif ggreif merged commit 0001d4d into master Mar 7, 2019
@ggreif
Copy link
Contributor Author

ggreif commented Mar 7, 2019

Comments are not tested :-) No embarrassments found in the code so far.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants