diff options
Diffstat (limited to 'doc/ext_ffi.html')
| -rw-r--r-- | doc/ext_ffi.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/ext_ffi.html b/doc/ext_ffi.html index a146b055..c9a0e1a7 100644 --- a/doc/ext_ffi.html +++ b/doc/ext_ffi.html | |||
| @@ -41,6 +41,8 @@ | |||
| 41 | <a href="ext_jit.html">jit.* Library</a> | 41 | <a href="ext_jit.html">jit.* Library</a> |
| 42 | </li><li> | 42 | </li><li> |
| 43 | <a href="ext_c_api.html">Lua/C API</a> | 43 | <a href="ext_c_api.html">Lua/C API</a> |
| 44 | </li><li> | ||
| 45 | <a href="ext_profiler.html">Profiler</a> | ||
| 44 | </li></ul> | 46 | </li></ul> |
| 45 | </li><li> | 47 | </li><li> |
| 46 | <a href="status.html">Status</a> | 48 | <a href="status.html">Status</a> |
