diff options
Diffstat (limited to 'runtime/doc/usr_41.txt')
| -rw-r--r-- | runtime/doc/usr_41.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/doc/usr_41.txt b/runtime/doc/usr_41.txt index b26b7cb646..2a2885b4d3 100644 --- a/runtime/doc/usr_41.txt +++ b/runtime/doc/usr_41.txt @@ -959,6 +959,7 @@ Timers: *timer-functions* timer_stop() stop a timer timer_stopall() stop all timers timer_info() get information about timers + wait() wait for a condition Tags: *tag-functions* taglist() get list of matching tags |