diff options
| author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2019-11-18 14:54:06 -0300 |
|---|---|---|
| committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2019-11-18 14:54:06 -0300 |
| commit | 5f83fb658206d195e54d3574b989ce5285a5b18f (patch) | |
| tree | 2049d60a21ae33407c13c5e8452b539ae250b2f2 /manual | |
| parent | 679dc72c08a7c563a0c3f463332d6f22d573a106 (diff) | |
| download | lua-5f83fb658206d195e54d3574b989ce5285a5b18f.tar.gz lua-5f83fb658206d195e54d3574b989ce5285a5b18f.tar.bz2 lua-5f83fb658206d195e54d3574b989ce5285a5b18f.zip | |
Details
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/manual.of | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/manual/manual.of b/manual/manual.of index 7b5b9385..61d4afac 100644 --- a/manual/manual.of +++ b/manual/manual.of | |||
| @@ -8237,7 +8237,8 @@ This library is implemented through table @defid{os}. | |||
| 8237 | @LibEntry{os.clock ()| | 8237 | @LibEntry{os.clock ()| |
| 8238 | 8238 | ||
| 8239 | Returns an approximation of the amount in seconds of CPU time | 8239 | Returns an approximation of the amount in seconds of CPU time |
| 8240 | used by the program. | 8240 | used by the program, |
| 8241 | as returned by the underlying @ANSI{clock}. | ||
| 8241 | 8242 | ||
| 8242 | } | 8243 | } |
| 8243 | 8244 | ||
| @@ -8336,7 +8337,7 @@ closes the Lua state before exiting. | |||
| 8336 | 8337 | ||
| 8337 | @LibEntry{os.getenv (varname)| | 8338 | @LibEntry{os.getenv (varname)| |
| 8338 | 8339 | ||
| 8339 | Returns the value of the process environment variable @id{varname}, | 8340 | Returns the value of the process environment variable @id{varname} |
| 8340 | or @fail if the variable is not defined. | 8341 | or @fail if the variable is not defined. |
| 8341 | 8342 | ||
| 8342 | } | 8343 | } |
