diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-11-22 13:30:18 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-11-22 13:30:18 +0000 |
| commit | 8bcc70eac8af379ed3481039eb1bd5feea3cf195 (patch) | |
| tree | 529a61351cf04adfdb40d008920c6d3719ce64c0 /src/ui/android | |
| parent | 1d2786f7da2c94bbba063137b13d639f552d5f7e (diff) | |
the GF syntax for identifiers is exteded with quoted forms, i.e. you could write for instance 'ab.c' and then everything between the quites is identifier. This includes Unicode characters and non-ASCII symbols. This is useful for automatically generated GF grammars.
Diffstat (limited to 'src/ui/android')
0 files changed, 0 insertions, 0 deletions