Skip to content

Commit

Permalink
Merge pull request #62 from Rida-Hamadani/patch-1
Browse files Browse the repository at this point in the history
Fix small typo in `Readme`
  • Loading branch information
joneugster authored Apr 11, 2024
2 parents f9e8f86 + 90c53ce commit 1b91b1c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ PRs/Issues fixing typos, inconsistencies, missing hints, etc. are very welcome!

We would like the following requirements for a translation PR:

- One independent person from the community, who understands the language, gives a review on the PR. You could for example look at the [Lean Community Map](https://leanprover-community.github.io/meet.html) or ask on Zulip. Such a review an be quite generic and does not have to be super detailed.
- One independent person from the community, who understands the language, gives a review on the PR. You could for example look at the [Lean Community Map](https://leanprover-community.github.io/meet.html) or ask on Zulip. Such a review can be quite generic and does not have to be super detailed.
- In the credits (i.e. in the string translating them), ideally you should add yourself as a translator for this language.

## Documentation
Expand Down

0 comments on commit 1b91b1c

Please sign in to comment.