mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-06-08 08:42:35 +00:00
232be91a83
* doc/bison.texinfo: Comment changes.
(cherry picked from commit 6b5a0de960)
Conflicts:
doc/bison.texinfo