[mono] Update documentation pages links (#8118)
commitd460942cff71db9bbd86e4ddb67e668d1f677285
authorMarek Safar <marek.safar@gmail.com>
Tue, 10 Apr 2018 00:03:46 +0000 (10 02:03 +0200)
committerMiguel de Icaza <miguel@gnome.org>
Tue, 10 Apr 2018 00:03:46 +0000 (9 20:03 -0400)
tree612970ed78f964f05157067576ef01c80c4b1683
parentf003518ccab59925dac32827ee5173e0d8e09d44
[mono] Update documentation pages links (#8118)

Fixes #7785
mono/mini/aot-compiler.c
mono/mini/mini.c