diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-05-04 20:48:57 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-05-04 20:48:57 +0200 |
| commit | 3c6ca49b23fd6a2df735e0eaf93432bfef3cba97 (patch) | |
| tree | 12a0f4ebb8d774af1b4f6f2a41b2367e99567943 /gen/prop/age | |
| parent | 10fe179c3d4b8ca2fe3a09c40aff73d3dfe585ee (diff) | |
More 2-stage lookup tables
Diffstat (limited to 'gen/prop/age')
| -rwxr-xr-x | gen/prop/age | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gen/prop/age b/gen/prop/age index a565021..b36a6f5 100755 --- a/gen/prop/age +++ b/gen/prop/age @@ -32,6 +32,8 @@ def genfile(cs: list[tuple[bool, ...]], blksize: int) -> None: print('''\ /* This file is autogenerated by gen/prop/age; DO NOT EDIT. */ +#include <stdint.h> + #include "unicode/prop.h" ''') |