diff options
| author |  Thomas Renes <thomas@renesweb.nl>
| 2022-01-08 16:25:17 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2022-01-08 16:25:17 +0100 |
| commit | 916df412f5b6f7fb9bcfb705a3c8c23e35304410 (patch) | |
| tree | d87c483688575cb5a6b674849e2aefa2052116c8 /docs/en/users | |
| parent | 127b7f0a3aad7012055c058e8aba0d27192a8cbc (diff) | |
Fix various typos and spelling errors in documentation, comments and code. (#4134)
Diffstat (limited to 'docs/en/users')
| -rw-r--r-- | docs/en/users/03_Main_view.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/en/users/03_Main_view.md b/docs/en/users/03_Main_view.md index 8e7563200..11fd20d65 100644 --- a/docs/en/users/03_Main_view.md +++ b/docs/en/users/03_Main_view.md @@ -271,4 +271,4 @@ Display the user queries drop-down by clicking the button next to the state butt Then click on the bookmarked query, the previously stored query will be applied. > Note that only the query is stored, not the articles. -> The results you are seing now could be different from the results on the day you've created the query. +> The results you are seeing now could be different from the results on the day you've created the query. |