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