|
| From: | Markus Armbruster |
| Subject: | Re: [PATCH v6 19/21] Remove Texinfo related line from git.orderfile |
| Date: | Tue, 29 Sep 2020 14:37:38 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Peter Maydell <peter.maydell@linaro.org> writes: > We don't use Texinfo any more; we can remove the references to the > .texi source file from our git.orderfile. > > Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Reviewed-by: Markus Armbruster <armbru@redhat.com>
| [Prev in Thread] | Current Thread | [Next in Thread] |