diff options
author | 2017-10-09 15:12:20 +0200 | |
---|---|---|
committer | 2017-10-09 15:12:20 +0200 | |
commit | a82c30c08c7442b6bb43829d2be6a299f493ca88 (patch) | |
tree | fc4ee6e5e395c94d15d2b7109ee00c7372b5a31d /COMPATIBILITY | |
parent | c3f7302e9f6849298bbb34dc91516751444888ff (diff) | |
parent | f1531b5deb0f2bbb5653bb6f02abf6a1896f399a (diff) |
Merge PR #1062: BZ#5739, Allow level for leftmost nonterminal for printing-ony Notations
Diffstat (limited to 'COMPATIBILITY')
0 files changed, 0 insertions, 0 deletions