diff options
Diffstat (limited to 'docs/DebuggingJITedCode.html')
| -rw-r--r-- | docs/DebuggingJITedCode.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/DebuggingJITedCode.html b/docs/DebuggingJITedCode.html index 5b174d7..f23fdf6 100644 --- a/docs/DebuggingJITedCode.html +++ b/docs/DebuggingJITedCode.html @@ -7,7 +7,7 @@ </head> <body> -<div class="doc_title">Debugging JITed Code With GDB</div> +<h1>Debugging JITed Code With GDB</h1> <ol> <li><a href="#example">Example usage</a></li> <li><a href="#background">Background</a></li> @@ -15,7 +15,7 @@ <div class="doc_author">Written by Reid Kleckner</div> <!--=========================================================================--> -<div class="doc_section"><a name="example">Example usage</a></div> +<h2><a name="example">Example usage</a></h2> <!--=========================================================================--> <div class="doc_text"> @@ -96,7 +96,7 @@ function names. </div> <!--=========================================================================--> -<div class="doc_section"><a name="background">Background</a></div> +<h2><a name="background">Background</a></h2> <!--=========================================================================--> <div class="doc_text"> |