texinfo-commits
[Top][All Lists]
Advanced

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

[no subject]


From: Gavin D. Smith
Date: Tue, 15 Aug 2023 05:36:00 -0400 (EDT)

branch: master
commit 9ec2c4d8d3390b7ee00289dee91436deca4c2fcf
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Tue Aug 15 10:18:02 2023 +0100

    .gitignore another removal
---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 2f4f0260e1..6e9f034dbb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -328,7 +328,6 @@ texindex/ti.toc
 texindex/ti.pdf
 texindex/ti.t2p
 texindex/ti.texi
-texindex/texindex.html
 texindex/texindex.info
 texindex/texindex
 texindex/ti.t2d



reply via email to

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