diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/index.html | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/index.html b/docs/index.html index c3e8285..0cad4a0 100644 --- a/docs/index.html +++ b/docs/index.html | |||
@@ -436,6 +436,17 @@ | |||
436 | Select the cancellation mode used at Lanes shutdown to request free running lane termination. See <a href="#cancelling">lane cancellation</a>. Default is <tt>"hard"</tt>. | 436 | Select the cancellation mode used at Lanes shutdown to request free running lane termination. See <a href="#cancelling">lane cancellation</a>. Default is <tt>"hard"</tt>. |
437 | </td> | 437 | </td> |
438 | </tr> | 438 | </tr> |
439 | <tr valign=top> | ||
440 | <td id="strip_functions"> | ||
441 | <code>.strip_functions</code> | ||
442 | </td> | ||
443 | <td> | ||
444 | <tt>nil</tt>/<tt>false</tt>/<tt>true</tt> | ||
445 | </td> | ||
446 | <td> | ||
447 | Controls function bytecode stripping when dumping them for lane transfer. Choose between faster copies or more debug info. Default is <tt>true</tt>. | ||
448 | </td> | ||
449 | </tr> | ||
439 | </table> | 450 | </table> |
440 | </p> | 451 | </p> |
441 | 452 | ||