gbranden pushed a commit to branch master
in repository groff.
commit 72f327e9cc0e1c1e05c8d7a188a1edd1bc8ee039
Author: G. Branden Robinson <[email protected]>
AuthorDate: Thu Feb 5 19:09:15 2026 -0600
doc/.gitignore: Drop old file name.
Continues commit 823ab666dd, 21 June.
---
doc/.gitignore | 1 -
1 file changed, 1 deletion(-)
diff --git a/doc/.gitignore b/doc/.gitignore
index 7cc52fefc..9a0b0a55e 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,5 +1,4 @@
# build artifacts
-/GMPfront.t
/automake.pdf
/gnu.eps
/grnexmpl.ps
_______________________________________________
groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit
