[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] docs: build-system: rename "default-configs" to "configs"
|
From: |
Philippe Mathieu-Daudé |
|
Subject: |
Re: [PATCH] docs: build-system: rename "default-configs" to "configs" |
|
Date: |
Mon, 4 Oct 2021 09:21:07 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.1.0 |
On 10/4/21 09:12, Kashyap Chamarthy wrote:
> Commit 812b31d3f9 (configs: rename default-configs to configs and
> reorganise, 2021-07-07) did the rename.
>
> Reflect that update also in the documentation.
>
> Signed-off-by: Kashyap Chamarthy <kchamart@redhat.com>
> ---
> docs/devel/build-system.rst | 12 ++++++------
> 1 file changed, 6 insertions(+), 6 deletions(-)
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>