diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-10-17 11:58:21 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-10-17 11:58:21 +0200 |
commit | e5f8038f82c8a444afcfb7333a4c690b005fcff6 (patch) | |
tree | 51e7e5ac47aba0ff26d1d6ed3da84f1d6a1183df /grammar | |
parent | 67c713cab69a54f5347c987aa0076aeddd1bceef (diff) |
Fix bug #5023: JSON extraction doesn't generate "for xxx".
Diffstat (limited to 'grammar')
0 files changed, 0 insertions, 0 deletions