diff options
Diffstat (limited to 'doc/status.html')
-rw-r--r-- | doc/status.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/status.html b/doc/status.html index 3d148b0a..2dcb3dc1 100644 --- a/doc/status.html +++ b/doc/status.html | |||
@@ -44,6 +44,8 @@ ul li { padding-bottom: 0.3em; } | |||
44 | <a href="ext_jit.html">jit.* Library</a> | 44 | <a href="ext_jit.html">jit.* Library</a> |
45 | </li><li> | 45 | </li><li> |
46 | <a href="ext_c_api.html">Lua/C API</a> | 46 | <a href="ext_c_api.html">Lua/C API</a> |
47 | </li><li> | ||
48 | <a href="ext_profiler.html">Profiler</a> | ||
47 | </li></ul> | 49 | </li></ul> |
48 | </li><li> | 50 | </li><li> |
49 | <a class="current" href="status.html">Status</a> | 51 | <a class="current" href="status.html">Status</a> |