aboutsummaryrefslogtreecommitdiffhomepage
path: root/grammar/tacextend.mlp
diff options
context:
space:
mode:
authorGravatar Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>2016-10-17 11:58:21 +0200
committerGravatar Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>2016-10-17 11:58:21 +0200
commite5f8038f82c8a444afcfb7333a4c690b005fcff6 (patch)
tree51e7e5ac47aba0ff26d1d6ed3da84f1d6a1183df /grammar/tacextend.mlp
parent67c713cab69a54f5347c987aa0076aeddd1bceef (diff)
Fix bug #5023: JSON extraction doesn't generate "for xxx".
Diffstat (limited to 'grammar/tacextend.mlp')
0 files changed, 0 insertions, 0 deletions