gbranden pushed a commit to branch master
in repository groff.
commit 210093f8113f87c7121dcd65212a65e7724d93c8
Author: G. Branden Robinson <g.branden.robin...@gmail.com>
AuthorDate: Wed Jul 9 07:48:41 2025 -0500
font/devpdf/.gitignore: Drop eliminated file.
Continues commit ec2327b6b7, 30 June.
---
font/devpdf/.gitignore | 1 -
1 file changed, 1 deletion(-)
diff --git a/font/devpdf/.gitignore b/font/devpdf/.gitignore
index b1855e0a3..cb4041de6 100644
--- a/font/devpdf/.gitignore
+++ b/font/devpdf/.gitignore
@@ -84,7 +84,6 @@
/ZD
/download
/enc/text.enc
-/map/symbolchars
/map/symbol.map
/map/text.map
/map/dingbats.map
_______________________________________________
groff-commit mailing list
groff-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/groff-commit
