diff options
| -rw-r--r-- | DOCS/man/lua.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/man/lua.rst b/DOCS/man/lua.rst index 8a8fadc40c..43954044d1 100644 --- a/DOCS/man/lua.rst +++ b/DOCS/man/lua.rst @@ -769,7 +769,7 @@ strictly part of the guaranteed API. ``mtime`` time of last modification ``ctime`` - time of last metadata change (Linux) / time of creation (Windows) + time of last metadata change ``is_file`` Whether ``path`` is a regular file (boolean) ``is_dir`` |