Overview
| Comment: | Remove titlecase table.
The extra space needed for the titlecase table just isn't worth it |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
9553ab1d8fb3e82605c8cc9d955384ad |
| User & Date: | js on 2009-10-18 13:01:33 |
| Other Links: | manifest | tags |
Context
|
2009-10-18
| ||
| 14:20 | Change the Unicode table generator so it generates way smaller tables. check-in: 039f60a95d user: js tags: trunk | |
| 13:01 | Remove titlecase table. check-in: 9553ab1d8f user: js tags: trunk | |
|
2009-10-17
| ||
| 20:09 | Update TODO. check-in: 60e4985929 user: js tags: trunk | |
Changes
Modified generators/gen_tables.m from [d95fbc2581] to [bfcb1fc885]. [diff]
Modified src/Makefile from [2b51a81e8b] to [cf5eb4a5f7]. [diff]
Deleted src/unicode_titlecase.m version [e1d27c95bc].