]> git.saurik.com Git - bison.git/commit
doc: add missing documentation for --report
authorAkim Demaille <akim@lrde.epita.fr>
Wed, 3 Oct 2012 06:43:10 +0000 (08:43 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Wed, 3 Oct 2012 06:47:37 +0000 (08:47 +0200)
commit57f8bd8d18cec4004423eeec8cb8338a0afd46c7
treeabc1d0843dcda823650c6797a88e5a3193528d16
parentc9d5bcc9389ccea013b23eb095dc4a637fadbd42
doc: add missing documentation for --report

* doc/bison.texi (Bison Options): Document --report's "solved", "all",
and "none".
doc/bison.texi