diff options
Diffstat (limited to '')
-rw-r--r-- | doc/ext_ffi_api.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/ext_ffi_api.html b/doc/ext_ffi_api.html index 8b2555b5..928589b4 100644 --- a/doc/ext_ffi_api.html +++ b/doc/ext_ffi_api.html | |||
@@ -46,6 +46,8 @@ td.abiparam { font-weight: bold; width: 6em; } | |||
46 | <a href="ext_jit.html">jit.* Library</a> | 46 | <a href="ext_jit.html">jit.* Library</a> |
47 | </li><li> | 47 | </li><li> |
48 | <a href="ext_c_api.html">Lua/C API</a> | 48 | <a href="ext_c_api.html">Lua/C API</a> |
49 | </li><li> | ||
50 | <a href="ext_profiler.html">Profiler</a> | ||
49 | </li></ul> | 51 | </li></ul> |
50 | </li><li> | 52 | </li><li> |
51 | <a href="status.html">Status</a> | 53 | <a href="status.html">Status</a> |