diff options
| author | Hugo Herbelin | 2017-10-04 22:00:19 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2017-10-05 08:36:50 +0200 |
| commit | 526791d917f9b0804376eae02a462a3b32dd7cba (patch) | |
| tree | d9ad17bf4c1e287627acc3183bdbabf88b49438c /API/API.mli | |
| parent | 9a2bb3a6d12a082c61dfda62be53c195fe3cb57c (diff) | |
Distinguishing pseudo-letters out of the set of unicode letters.
This includes _ and insecable space which can be used in idents and
this allows more precise heuristics.
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions