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/ext_ffi_tutorial.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/ext_ffi_tutorial.html')
-rw-r--r-- | doc/ext_ffi_tutorial.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/ext_ffi_tutorial.html b/doc/ext_ffi_tutorial.html index 30213b31..6cb52bf2 100644 --- a/doc/ext_ffi_tutorial.html +++ b/doc/ext_ffi_tutorial.html | |||
@@ -48,6 +48,8 @@ td.idiomlua b { font-weight: normal; color: #2142bf; } | |||
48 | <a href="ext_jit.html">jit.* Library</a> | 48 | <a href="ext_jit.html">jit.* Library</a> |
49 | </li><li> | 49 | </li><li> |
50 | <a href="ext_c_api.html">Lua/C API</a> | 50 | <a href="ext_c_api.html">Lua/C API</a> |
51 | </li><li> | ||
52 | <a href="ext_profiler.html">Profiler</a> | ||
51 | </li></ul> | 53 | </li></ul> |
52 | </li><li> | 54 | </li><li> |
53 | <a href="status.html">Status</a> | 55 | <a href="status.html">Status</a> |