time

1 
1 Time
1 ****
1 
1 This file documents the the GNU 'time' command for running programs and
1 summarizing the system resources they use.  Version UNKNOWN, updated 4
1 January 2018
1 

Menu


automatically generated by info2html v2.1