diff options
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. |