diff options
| author |  rom-1 <37835829+rom-1@users.noreply.github.com>
| 2020-12-31 14:50:13 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2020-12-31 14:50:13 +0100 |
| commit | 71c541db7fbde1372a1abfead2f6a0711fe27e23 (patch) | |
| tree | 4772d39cea4d8f3b9bf4b64986768300ef1b15a5 /docs | |
| parent | 5ca961b8d5130b54d3c5ec664574eac39a88de87 (diff) | |
Update 03_Main_view.md (#3307)
adding to documentation: filtering a tag with whitespace
Diffstat (limited to 'docs')
| -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 d519e959f..8d4af3a26 100644 --- a/docs/en/users/03_Main_view.md +++ b/docs/en/users/03_Main_view.md @@ -162,7 +162,7 @@ You can use the search field to further refine results: * by author: `author:name` or `author:'composed name'` * by title: `intitle:keyword` or `intitle:'composed keyword'` * by URL: `inurl:keyword` or `inurl:'composed keyword'` -* by tag: `#tag` +* by tag: `#tag` or `#tag+with+whitespace` * by free-text: `keyword` or `'composed keyword'` * by date of discovery, using the [ISO 8601 time interval format](http://en.wikipedia.org/wiki/ISO_8601#Time_intervals): `date:<date-interval>` * From a specific day, or month, or year: |