Avoid loading the same documentation file twice
authorMiguel de Icaza <miguel@gnome.org>
Fri, 7 Oct 2011 20:22:41 +0000 (16:22 -0400)
committerMiguel de Icaza <miguel@gnome.org>
Fri, 7 Oct 2011 20:23:04 +0000 (16:23 -0400)
commitfcd527cdec484cc3922504b677ddaf54d89ad6af
treec7c8c7704e68a403511af5e4b9713ec153e5575c
parentaf2d31d893b9b174bcb604c6999777b0cadf4419
Avoid loading the same documentation file twice
mcs/tools/monodoc/Monodoc/provider.cs