| --- time.info.old 2004-09-11 03:00:39.076871344 -0400 | |
| +++ time.info 2004-09-11 03:00:40.394671008 -0400 | |
| @@ -19,6 +19,9 @@ | |
| manual into another language, under the above conditions for modified | |
| versions, except that this permission notice may be stated in a | |
| translation approved by the Foundation. | |
| +START-INFO-DIR-ENTRY | |
| +* time: (time). summarize system resources used | |
| +END-INFO-DIR-ENTRY | |
| File: time.info, Node: Top, Prev: (dir), Up: (dir) |