[docs] Remove dead GC APIs.
authorJon Purdy <evincarofautumn@gmail.com>
Fri, 10 Mar 2017 23:38:26 +0000 (15:38 -0800)
committerJon Purdy <evincarofautumn@gmail.com>
Sat, 11 Mar 2017 23:24:00 +0000 (15:24 -0800)
commitf6a855df8c5048de58b34ed4db9b872a4c729541
treec152870d56075f44f5757b2529d4d3c5a69375ad
parent067ed199d298606b6135e91f70bbe711dbabc3a3
[docs] Remove dead GC APIs.
docs/sources/mono-api-internal.html