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 | } |