Fix the comment so our doctools can pick it up
authorMiguel de Icaza <miguel@gnome.org>
Fri, 1 Jun 2012 19:09:20 +0000 (15:09 -0400)
committerMiguel de Icaza <miguel@gnome.org>
Fri, 1 Jun 2012 19:09:20 +0000 (15:09 -0400)
commita759626a142114a80fa4278e3d2f71d25c455921
tree4033e9728e97aaa2f0186da16df975588d6adf73
parent6ec5717c59f98a40819be1942c1ee02bcfead2be
Fix the comment so our doctools can pick it up
mono/mini/mini.c