diff options
Diffstat (limited to 'Doc/help/times')
| -rw-r--r-- | Doc/help/times | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Doc/help/times b/Doc/help/times new file mode 100644 index 000000000..3126d95cf --- /dev/null +++ b/Doc/help/times @@ -0,0 +1,2 @@ +times Print the accumulated user and system times for the shell and + for processes run from the shell. |