diff options
| author | Axel Beckert <abe@deuxchevaux.org> | 2022-05-14 23:32:33 +0200 |
|---|---|---|
| committer | Axel Beckert <abe@deuxchevaux.org> | 2022-05-14 23:32:33 +0200 |
| commit | 2ae4a3989e1bd06c82d597418a46b25cb14d57ed (patch) | |
| tree | 9cfc4bf449c34f9493e369910e94773d4cc88366 /Doc/help/times | |
| parent | 43867f68c0b1279ec096ce5639e6ec3a2df8103f (diff) | |
| parent | d4d203488826181aa4eb360ce57de138417ba680 (diff) | |
| download | zsh-2ae4a3989e1bd06c82d597418a46b25cb14d57ed.tar.gz zsh-2ae4a3989e1bd06c82d597418a46b25cb14d57ed.zip | |
Update upstream source from tag 'upstream/5.9'
Update to upstream version '5.9'
with Debian dir 9ec0c75153d850f8dda83cca1a9ed3ff6200c14b
Diffstat (limited to 'Doc/help/times')
| -rw-r--r-- | Doc/help/times | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/help/times b/Doc/help/times index 3126d95cf..0c08c120a 100644 --- a/Doc/help/times +++ b/Doc/help/times @@ -1,2 +1,2 @@ -times Print the accumulated user and system times for the shell and +times Print the accumulated user and system times for the shell and for processes run from the shell. |