diff options
| author | Mike Pall <mike> | 2013-09-10 00:06:17 +0200 |
|---|---|---|
| committer | Mike Pall <mike> | 2013-09-10 00:06:17 +0200 |
| commit | 31e7cd1c7672bde788f3d60fd3de2bbcd77ccd19 (patch) | |
| tree | ce06e2d0b31331973cc0bfca5d9020c399c445b4 /doc/install.html | |
| parent | 29078518c14a4f49224fc58c57053bda2e8284dc (diff) | |
| download | luajit-31e7cd1c7672bde788f3d60fd3de2bbcd77ccd19.tar.gz luajit-31e7cd1c7672bde788f3d60fd3de2bbcd77ccd19.tar.bz2 luajit-31e7cd1c7672bde788f3d60fd3de2bbcd77ccd19.zip | |
Low-overhead profiler, part 6: documentation.
Diffstat (limited to 'doc/install.html')
| -rw-r--r-- | doc/install.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/install.html b/doc/install.html index b7bf75ce..024a4057 100644 --- a/doc/install.html +++ b/doc/install.html | |||
| @@ -69,6 +69,8 @@ td.compatno { | |||
| 69 | <a href="ext_jit.html">jit.* Library</a> | 69 | <a href="ext_jit.html">jit.* Library</a> |
| 70 | </li><li> | 70 | </li><li> |
| 71 | <a href="ext_c_api.html">Lua/C API</a> | 71 | <a href="ext_c_api.html">Lua/C API</a> |
| 72 | </li><li> | ||
| 73 | <a href="ext_profiler.html">Profiler</a> | ||
| 72 | </li></ul> | 74 | </li></ul> |
| 73 | </li><li> | 75 | </li><li> |
| 74 | <a href="status.html">Status</a> | 76 | <a href="status.html">Status</a> |