diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-07-14 06:56:15 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-07-14 06:56:15 +0200 |
commit | 88bd814bf103123c4f820f0a4f8fee85f8a63047 (patch) | |
tree | 6cf96b367aa9ad919e7764505710917316b7869f /THANKS | |
parent | 4f9ae5de0766515384925841c384f878257daed7 (diff) | |
download | bison-88bd814bf103123c4f820f0a4f8fee85f8a63047.tar.gz |
doc: update GLR sections
Reported by Christian Schoenebeck.
* doc/bison.texi (GLR Parsers): Minor fixes.
(Compiler Requirements for GLR): Remove, quite useless today.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions