diff options
Diffstat (limited to 'doc/libs6/ftrigr.html')
| -rw-r--r-- | doc/libs6/ftrigr.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/libs6/ftrigr.html b/doc/libs6/ftrigr.html index 2c9bf88..0a83534 100644 --- a/doc/libs6/ftrigr.html +++ b/doc/libs6/ftrigr.html @@ -55,8 +55,9 @@ children, consider using a ftrigrd service. for instance, illustrate how to use the ftrigr library. </p> - +<a name="synctimed"> <h3> Synchronous functions with a specified maximum execution time </h3> +</a> <ul> <li> Synchronous functions take a <tt>tain_t const *</tt> |