diff options
| author | Hugo Herbelin | 2015-09-01 12:20:32 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-09-08 13:49:09 +0200 |
| commit | 2c5ed1c5afe5f1270e842f161a005e253d31eb85 (patch) | |
| tree | aef1c5e6e57de323269a57a1397ab6a484998985 /dev | |
| parent | df7bc187e4cff19f717771223b7ea56db117cad0 (diff) | |
Hacking parser so as to support both [> ... ] and [id].
This (at least technically) solves the issue #4113 (see also #4329).
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions