diff options
author | h_east <h.east.727@gmail.com> | 2023-10-25 22:47:05 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-25 14:47:05 +0100 |
commit | 5985879e3c36383155f84649fa42d06813a1893e (patch) | |
tree | d4d7f9b1626ef2052e4db7d5e7d849f9f7258127 /runtime/doc/usr_41.txt | |
parent | 50f3ec2898a43feaa6add2bc4875754cf9224d5e (diff) |
runtime(doc): Fix typos in several documents (#13420)
* Fix typos in several documents
* Update runtime/doc/terminal.txt
Co-authored-by: K.Takata <kentkt@csc.jp>
Signed-off-by: Christian Brabandt <cb@256bit.org>
Diffstat (limited to 'runtime/doc/usr_41.txt')
-rw-r--r-- | runtime/doc/usr_41.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/runtime/doc/usr_41.txt b/runtime/doc/usr_41.txt index d5aa79e317..b407631239 100644 --- a/runtime/doc/usr_41.txt +++ b/runtime/doc/usr_41.txt @@ -877,7 +877,8 @@ Other computation: *bitwise-function* srand() initialize seed used by rand() Variables: *var-functions* - instanceof() check if a variable is an instance of a given class + instanceof() check if a variable is an instance of a given + class type() type of a variable as a number typename() type of a variable as text islocked() check if a variable is locked |