diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-20 11:03:15 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-02-20 11:03:15 +0000 |
| commit | 23f0d4baa1af45b77842cd877140743343b3234e (patch) | |
| tree | f7e5605ff7ff1df4c5a79e4b5eb19ac6f7baeef4 /editors/code/.gitignore | |
| parent | 900ba711683e23a3e322730e6b7a913b350379eb (diff) | |
| parent | ae50b1850352e5786bd4fe37689cbf9ce9686900 (diff) | |
Merge #7723
7723: Fix typos r=lnicola a=azzamsa
I have checked all the documents inside `docs/` using `grammarly.com`.
There are many suggestions in each document (some of them are false positive). I choose to fix the typos only to avoid lengthy grammar discussions. I would like to suggest to the maintainers to take a look. It is worth it.
IMHO, it better to put the article into `grammarly.com` or `languagetool.org` before pushing :).
Co-authored-by: azzamsa <[email protected]>
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions