mono/monodevelop — pull request #206 by M1C (2012-06-26 16:00:34+00:00)
Title: "Bugfix" for older mono-installations

Fixed a "bug" which prevents older mono-installations from compiling monodevelop successfully.