[Gtk-sharp-list] Monodevelop

[Vladimir Giszpenc]

Hi list members,

Is there something that must be done to enable MonoDevelop to target a
different Gtk# version.  I recently upgraded to 0.15 and I think that
now, it is actively targeting Gtk 10.2 (though I would like to change
it to 8.3).

Thanks,

Vlad