diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2022-02-28 20:50:39 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2022-02-28 20:50:39 +0100 |
| commit | 7c74653cc21b1dda382ec45544ed087d441480a5 (patch) | |
| tree | 26019b84d2bd1374d4b12d1de2455019688c8f5b /docs/en/users | |
| parent | 1fe66ad020ca8f0560bb9c6e311852ed77228f78 (diff) | |
Update markdownlint-cli dev dependency (#4241)
* Update markdownlint-cli dev dependency
And fix https://github.com/advisories/GHSA-6vfc-qv3f-vr6c
* npm ci
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 4a5c6ee4e..edf91505e 100644 --- a/docs/en/users/03_Main_view.md +++ b/docs/en/users/03_Main_view.md @@ -252,7 +252,7 @@ You can change the sort order by clicking the toggle button available in the hea Once you came up with your perfect filter, it would be a shame if you need to recreate it every time you need to use it. Hopefully, there is a way to bookmark them for later use. -We call them _user queries_. +We call them *user queries*. You can create as many as you want, the only limit is how they will be displayed on your screen. ### Bookmark the current query |