On Thursday 16 of October 2014 15:46:33 Michele Calgaro wrote: > Tim, > I would like to push the attached patch to the tde-packaging repo. It > adds debug symbols to TDevelop. > At the same time I could also push some TDevelop documentation updates > that I have already made. > Can I go ahead? > > Cheers > Michele For me it looks good - I have no objections. By the way, in the patch is accidentally see a not-existing home http://www.tdevelop.org/ Maybe we can fix this too. -- Sl�vek