history.rst: don't mention the --show-time option for "history delete"

It's ignored.  We could support it in future (and maybe throw an
"unsupported" error until then).
This commit is contained in:
Johannes Altmanninger 2022-01-09 12:11:32 +01:00
parent 19aebebb95
commit 0d6bad9660

View file

@ -9,7 +9,7 @@ Synopsis
| ``history`` [**search**] [**--show-time** **--case-sensitive**]
\ \ [**--exact** | **--prefix** | **--contains**] [**--max** *n*] [**--null** **--reverse**]
\ \ [ *SEARCH_STRING...* ]
| ``history`` **delete** [**--show-time** **--case-sensitive**]
| ``history`` **delete** [**--case-sensitive**]
\ \ [**--exact** | **--prefix** | **--contains**] *SEARCH_STRING...*
| ``history`` { **merge** | **save** | **clear** | **clear_session** }