On Tue, May 14, 2013 at 9:52 PM, Marius Ungureanu <teromario at yahoo.com> wrote: > > https://github.com/mono/monodevelop/pull/284 Added. Thanks. -- MM "All we have to decide is what we do with the time that is given to us"