Module Name: src Committed By: kre Date: Mon Jul 24 12:36:02 UTC 2017
Modified Files: src/bin/sh: sh.1 Log Message: Document the times builtin command, reported as lost in space by rudolf at eq.cz on tech-userlevel (July 15, 2017.) Also correct a typo, de-correct some entirely proper English so the doc remains written in American instead. And note that interactive mode is set when stdin & stderr are terminals, not stding and stdout. To generate a diff of this commit: cvs rdiff -u -r1.159 -r1.160 src/bin/sh/sh.1 Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.