grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] docs: Commandline and menu entry commands are now separated


From: Daniel Kiper
Subject: Re: [PATCH] docs: Commandline and menu entry commands are now separated
Date: Tue, 16 May 2023 15:26:07 +0200
User-agent: NeoMutt/20170113 (1.7.2)

On Sat, May 13, 2023 at 09:05:35PM -0500, Glenn Washburn wrote:
> The menu entry commands now have their own section. Change the wording in
> the section that they were in to reflect this.
>
> Signed-off-by: Glenn Washburn <development@efficientek.com>

Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>

Daniel



reply via email to

[Prev in Thread] Current Thread [Next in Thread]