time

 
 Time
 ****
 
 This file documents the the GNU 'time' command for running programs and
 summarizing the system resources they use.  Version UNKNOWN, updated 25
 March 2022
 

Menu


automatically generated by info2html v2.0