diff options
| author | krasimir <krasimir@chalmers.se> | 2015-05-18 14:20:35 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-05-18 14:20:35 +0000 |
| commit | 773a33979b8504a93a77f6581b3a1b0a0ed6c5ab (patch) | |
| tree | fb955f77ad70fab777bf9535b1cf35e148aa1cc5 /src/runtime/java/Test.java | |
| parent | 9d21b73a81297043b75866ee76c4edf2ae578dd3 (diff) | |
pgf_lookup_morpho and pgf_lookup_word_prefix are now also case insensitive if case_sensitive=off
Diffstat (limited to 'src/runtime/java/Test.java')
0 files changed, 0 insertions, 0 deletions