diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2018-02-22 11:35:54 +0100 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2018-02-22 11:35:54 +0100 |
| commit | bb4218433fe8afabbc5239b2ca41731bb3e2da4b (patch) | |
| tree | 7aa00a51498cdae9e6c26776cac5b7689626eb12 /src/runtime/java/org | |
| parent | a16fe3415a76a4b101a2cedf96d876fc691b8155 (diff) | |
- tweak the tokenizer in pgf_lookup_sentence to threat .!?,: as separate tokens
+ bugfix which causes crashes
Diffstat (limited to 'src/runtime/java/org')
0 files changed, 0 insertions, 0 deletions