[docs] Remove dead mempool APIs.
authorJon Purdy <evincarofautumn@gmail.com>
Sat, 11 Mar 2017 00:05:18 +0000 (16:05 -0800)
committerJon Purdy <evincarofautumn@gmail.com>
Sat, 11 Mar 2017 23:24:00 +0000 (15:24 -0800)
commitb353ba17882f3b03c3ae4a0ebe8bd6318a154c1c
tree031dc845a263d7baa43d59f3da707f4877d4a42b
parent58ad70577ab0115ae597e0b49e5f9bb9caaf6b54
[docs] Remove dead mempool APIs.
docs/sources/mono-api-jitinternal.html