On 3/9/20 8:44 AM, Peter Maydell wrote:
> We don't use Texinfo any more; we can remove the references to the
> .texi source files and the generated output files from our
> .gitignore and git.orderfile.
>
> Signed-off-by: Peter Maydell
> ---
> .gitignore| 15 ---
> scripts
We don't use Texinfo any more; we can remove the references to the
.texi source files and the generated output files from our
.gitignore and git.orderfile.
Signed-off-by: Peter Maydell
---
.gitignore| 15 ---
scripts/git.orderfile | 1 -
2 files changed, 16 deletions(-)
