diff options
Diffstat (limited to '')
-rw-r--r-- | doc/ext_c_api.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/ext_c_api.html b/doc/ext_c_api.html index c6feb8e1..e431e734 100644 --- a/doc/ext_c_api.html +++ b/doc/ext_c_api.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 class="current" href="ext_c_api.html">Lua/C API</a> | 43 | <a class="current" 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> |