mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-08 20:03:03 +00:00
Problem reported by Helge Kreutzmann in: https://lists.gnu.org/r/bug-bison/2025-12/msg00000.html * doc/yacc.1.in: Fix fonts.
Problem reported by Helge Kreutzmann in: https://lists.gnu.org/r/bug-bison/2025-12/msg00000.html * doc/yacc.1.in: Fix fonts.