diff options
| author | Jon Purdy <evincarofautumn@gmail.com> | 2017-03-10 00:45:59 +0300 |
|---|---|---|
| committer | Jon Purdy <evincarofautumn@gmail.com> | 2017-03-24 23:43:07 +0300 |
| commit | 2ab495d049205eeb376f77faa8f2435cfb8a17f7 (patch) | |
| tree | 4b0d9445e14f54cda54f1f2d7081b152c6c1cc1a /docs | |
| parent | 60c26e4dd9d21ccf0291ae82fe6eaff6db169561 (diff) | |
[docs] Update formatting in mono-api-jitinternal.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/sources/mono-api-jitinternal.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/sources/mono-api-jitinternal.html b/docs/sources/mono-api-jitinternal.html index 1feff043f65..bf6650e0b43 100644 --- a/docs/sources/mono-api-jitinternal.html +++ b/docs/sources/mono-api-jitinternal.html @@ -147,6 +147,4 @@ <h4><a name="api:mono_profiler_startup">mono_profiler_startup</a></h4> <h4><a name="api:mono_profiler_gc_event">mono_profiler_gc_event</a></h4> <h4><a name="api:mono_profiler_gc_heap_resize">mono_profiler_gc_heap_resize</a></h4> -<h4><a name="api:mono_profiler_gc_event">mono_profiler_gc_event</a></h4> -<h4><a name="api:mono_profiler_gc_heap_resize">mono_profiler_gc_heap_resize</a></h4> <h4><a name="api:mono_profiler_stat_hit">mono_profiler_stat_hit</a></h4> |