diff options
author | Jon Purdy <evincarofautumn@gmail.com> | 2017-03-11 03:05:18 +0300 |
---|---|---|
committer | Jon Purdy <evincarofautumn@gmail.com> | 2017-03-12 02:24:00 +0300 |
commit | b353ba17882f3b03c3ae4a0ebe8bd6318a154c1c (patch) | |
tree | 031dc845a263d7baa43d59f3da707f4877d4a42b /docs | |
parent | 58ad70577ab0115ae597e0b49e5f9bb9caaf6b54 (diff) |
[docs] Remove dead mempool APIs.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/sources/mono-api-jitinternal.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/sources/mono-api-jitinternal.html b/docs/sources/mono-api-jitinternal.html index 9846b5b92f1..1feff043f65 100644 --- a/docs/sources/mono-api-jitinternal.html +++ b/docs/sources/mono-api-jitinternal.html @@ -62,7 +62,6 @@ <h4><a name="api:mono_mempool_destroy">mono_mempool_destroy</a></h4> <h4><a name="api:mono_mempool_alloc">mono_mempool_alloc</a></h4> <h4><a name="api:mono_mempool_alloc0">mono_mempool_alloc0</a></h4> -<h4><a name="api:mono_mempool_empty">mono_mempool_empty</a></h4> <h4><a name="api:mono_mempool_invalidate">mono_mempool_invalidate</a></h4> <h4><a name="api:mono_mempool_stats">mono_mempool_stats</a></h4> <h4><a name="api:mono_mempool_contains_addr">mono_mempool_contains_addr</a></h4> |