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/contact.html | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc/contact.html')

diff --git a/doc/contact.html b/doc/contact.html
index 4735faf4..48c4efd6 100644
--- a/doc/contact.html
+++ b/doc/contact.html
@@ -41,6 +41,8 @@
 <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