Use comma as thousand separator in documentation #3688
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
iBug
changed the title
|
Thanks! In German it's the other way round, which is why I messed this up. |
tIsGoud
added a commit
to tIsGoud/mkdocs-material
that referenced
this pull request
Mar 23, 2022
* upstream/master: (205 commits) Restructured documentation Prepare 8.2.6 release Documentation (squidfunk#3760) Fixed syntax error on Insiders page Added RStudio to list of premium sponsors Added RStudio to list of premium sponsors Updated dependencies Documentation (squidfunk#3688) adding docs.mindsdb.com to the list Added origins in giscus.json to omit discussion spam Added origins in giscus.json to omit discussion spam Fixed code annotations not being mounted for long code blocks (8.2.5 regression) Fixed deprecation warnings for unescaped backslashes in Jinja templates Fixed problems with empty comment nodes generated by Terraform lexer Improved semantics when returning from switchMap Improved semantics when returning from switchMap Updated dependencies Bump actions/setup-python from 2.3.2 to 3 Bump actions/checkout from 2 to 3 Updated Insiders changelog ...
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
According to Wikipedia, all major English-speaking countries use dot as decimal point, instead of comma. This makes it desirable to follow the convention in an English context.
This PR changes two occurrences of dot used as digit grouping separator (a.k.a. thousand separator) into comma, so as not to be confused with decimal point.