Re: [wwwdocs PATCH v2] projects/tree-ssa: add a big banner to tree-browser.html

2020-07-20 Thread Richard Sandiford
Hu Jiangping writes: > Hi, > > Different from Patch v1 which removed the page, I add a big banner to > say that the page is no longer up-to-date, just as Richard and Gerald > recommended. OK for push? Thanks, pushed to wwwdocs. Sorry for the slow response. Richard

[wwwdocs PATCH v2] projects/tree-ssa: add a big banner to tree-browser.html

2020-07-16 Thread Hu Jiangping
Hi, Different from Patch v1 which removed the page, I add a big banner to say that the page is no longer up-to-date, just as Richard and Gerald recommended. OK for push? Regards! Hujp --- htdocs/projects/tree-ssa/tree-browser.html | 5 + 1 file changed, 5 insertions(+) diff --git a/htdocs/