Skip to content

Fix several typos#7

Open
turion wants to merge 4 commits into
ericfinster:masterfrom
turion:master
Open

Fix several typos#7
turion wants to merge 4 commits into
ericfinster:masterfrom
turion:master

Conversation

@turion

@turion turion commented Aug 14, 2018

Copy link
Copy Markdown

I fixed a few typos and a punctuation inconsistency.

@ggreif

ggreif commented Dec 3, 2023

Copy link
Copy Markdown
Contributor

@ericfinster would it be possible to merge this?

Btw. I am thinking of porting the doc/ part to the Internet Computer so we get access to it again.

@ggreif ggreif mentioned this pull request Mar 30, 2026
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