diff options
| author | Jérémie Laval <jeremie.laval@gmail.com> | 2012-12-11 16:27:02 +0400 |
|---|---|---|
| committer | Jérémie Laval <jeremie.laval@gmail.com> | 2012-12-12 02:37:02 +0400 |
| commit | 7a2214a1019e6523aab5394a148317f597629705 (patch) | |
| tree | 128dc32903821e7da827ff1c89176d66a1ca3cee /docs | |
| parent | 3674b1167f62d45d5ef340babe5abc95c09f6384 (diff) | |
[doc] Disable mono-tracing as an documented API in TOC as it's not generated anymore.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/toc.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/toc.xml b/docs/toc.xml index f131df4499f..eb0eef5340d 100644 --- a/docs/toc.xml +++ b/docs/toc.xml @@ -133,12 +133,14 @@ <param name="Local" value="deploy/mono-api-threads.html"/> </object> </li> +<!-- <li> <object type="text/sitemap"> <param name="Name" value="Tracing"/> <param name="Local" value="deploy/mono-api-trace.html"/> </object> </li> +--> <li> <object type="text/sitemap"> <param name="Name" value="JIT Counters"/> |