Re: [PATCH 1/1] doc: remove redundant doc/README.log

2020-10-11 Thread Tom Rini
On Mon, Sep 14, 2020 at 10:12:19AM +0200, Heinrich Schuchardt wrote: > doc/README.log was already moved to doc/develop/logging.rst but has been > recreated by an incorrect merge. > > Signed-off-by: Heinrich Schuchardt > Reviewed-by: Simon Glass Applied to u-boot/master, thanks! -- Tom sign

Re: [PATCH 1/1] doc: remove redundant doc/README.log

2020-09-16 Thread Simon Glass
On Mon, 14 Sep 2020 at 02:12, Heinrich Schuchardt wrote: > > doc/README.log was already moved to doc/develop/logging.rst but has been > recreated by an incorrect merge. > > Signed-off-by: Heinrich Schuchardt > --- > doc/README.log | 286 - > 1 file

[PATCH 1/1] doc: remove redundant doc/README.log

2020-09-14 Thread Heinrich Schuchardt
doc/README.log was already moved to doc/develop/logging.rst but has been recreated by an incorrect merge. Signed-off-by: Heinrich Schuchardt --- doc/README.log | 286 - 1 file changed, 286 deletions(-) delete mode 100644 doc/README.log diff --git