On Fri, May 17, 2013 at 11:47 AM, Marius Ungureanu <teromario at yahoo.com> wrote: > https://github.com/mono/monodevelop/pull/287 Added as well. -- MM "All we have to decide is what we do with the time that is given to us"