From 31e7cd1c7672bde788f3d60fd3de2bbcd77ccd19 Mon Sep 17 00:00:00 2001
From: Mike Pall <mike>
Date: Tue, 10 Sep 2013 00:06:17 +0200
Subject: Low-overhead profiler, part 6: documentation.

---
 doc/faq.html | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc/faq.html')

diff --git a/doc/faq.html b/doc/faq.html
index c61b8dcf..02a2fba6 100644
--- a/doc/faq.html
+++ b/doc/faq.html
@@ -44,6 +44,8 @@ dd { margin-left: 1.5em; }
 <a href="ext_jit.html">jit.* Library</a>
 </li><li>
 <a href="ext_c_api.html">Lua/C API</a>
+</li><li>
+<a href="ext_profiler.html">Profiler</a>
 </li></ul>
 </li><li>
 <a href="status.html">Status</a>
-- 
cgit v1.2.3-55-g6feb