Skip to content

small but unpleasant typo#122

Open
stepanholub wants to merge 1 commit intoleanprover:masterfrom
stepanholub:small_typo
Open

small but unpleasant typo#122
stepanholub wants to merge 1 commit intoleanprover:masterfrom
stepanholub:small_typo

Conversation

@stepanholub
Copy link

This can be confusing for the beginner at the given stage

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.

1 participant