time

 
    This file documents the the GNU `time' command for running programs
 and summarizing the system resources they use.  This is edition 1.7,
 for version 1.7.
 

Menu


automatically generated by info2html v2.0