RE: [wwwdocs PATCH] remove tree-browser page and links

2020-07-12 Thread Hu, Jiangping
> On Thu, 9 Jul 2020, Richard Sandiford wrote: > >> I'm trying Tree Browser during debugging, but failed. > >> I found that tree-browser.c and tree-browser.def have been removed at > >> 2015-07-25. So, to avoid misunderstanding, can we remove this > >> tree-browser page too? > > Thanks for the

Re: [wwwdocs PATCH] remove tree-browser page and links

2020-07-09 Thread Gerald Pfeifer
On Thu, 9 Jul 2020, Richard Sandiford wrote: >> I'm trying Tree Browser during debugging, but failed. >> I found that tree-browser.c and tree-browser.def have been >> removed at 2015-07-25. So, to avoid misunderstanding, >> can we remove this tree-browser page too? > Thanks for the patch. Seems

Re: [wwwdocs PATCH] remove tree-browser page and links

2020-07-09 Thread Richard Sandiford
Hu Jiangping writes: > Hi, > > I'm trying Tree Browser during debugging, but failed. > I found that tree-browser.c and tree-browser.def have been > removed at 2015-07-25. So, to avoid misunderstanding, > can we remove this tree-browser page too? Thanks for the patch. Seems like a good idea to