Nikita Popov f458b16041 Combine punctuation into one character group ...

We're not currently interested in distinguishing between
individual punctuation types, so just merge everything into one
general category to make the property lookup more efficient.

2021-08-24 19:21:21 +02:00

..

ucgendat.php

Combine punctuation into one character group

2021-08-24 19:21:21 +02:00

uctest.php

Make PHP development tools files and scripts executable

2018-08-29 20:58:17 +02:00