[PATCH] doc/sandbox: improve formatting of command line options

2020-12-30 Thread Heinrich Schuchardt
Show the command line options in bold. Signed-off-by: Heinrich Schuchardt --- doc/arch/sandbox.rst | 28 ++-- 1 file changed, 14 insertions(+), 14 deletions(-) diff --git a/doc/arch/sandbox.rst b/doc/arch/sandbox.rst index ee720c5a09..60ee1e0741 100644 --- a/doc/arch/san

Re: [PATCH] doc/sandbox: improve formatting of command line options

2021-01-07 Thread Simon Glass
On Wed, 30 Dec 2020 at 10:10, Heinrich Schuchardt wrote: > > Show the command line options in bold. > > Signed-off-by: Heinrich Schuchardt > --- > doc/arch/sandbox.rst | 28 ++-- > 1 file changed, 14 insertions(+), 14 deletions(-) > Reviewed-by: Simon Glass

Re: [PATCH] doc/sandbox: improve formatting of command line options

2021-01-23 Thread Simon Glass
On Wed, 30 Dec 2020 at 10:10, Heinrich Schuchardt wrote: > > Show the command line options in bold. > > Signed-off-by: Heinrich Schuchardt > --- > doc/arch/sandbox.rst | 28 ++-- > 1 file changed, 14 insertions(+), 14 deletions(-) > Reviewed-by: Simon Glass Applied to