[monodoc] Header no longer needed, we now keep it on the top
authorMiguel de Icaza <miguel@gnome.org>
Wed, 29 Dec 2010 01:52:10 +0000 (20:52 -0500)
committerMiguel de Icaza <miguel@gnome.org>
Wed, 29 Dec 2010 01:56:12 +0000 (20:56 -0500)
commit027af8e474c4d82d598d5c9ad4a85710b4ab28ec
tree208673d4e13ef8748c06c1b5e917883cee69838d
parenta4e17dba01b6ab1ee1310e33ee3ae6a0f3ef299b
[monodoc] Header no longer needed, we now keep it on the top
mcs/tools/monodoc/Resources/home.html