Overview
| Comment: | Change the Unicode table generator so it generates way smaller tables. |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
039f60a95d333a823c69242b311b16f1 |
| User & Date: | js on 2009-10-18 14:20:28 |
| Other Links: | manifest | tags |
Context
|
2009-10-18
| ||
| 14:22 | Use the new, smaller Unicode tables. check-in: 257fc27253 user: js tags: trunk | |
| 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 | |
Changes
Modified generators/gen_tables.m from [bfcb1fc885] to [ddead50c5d]. [diff]