diff options
| author | David Aspinall | 2008-02-06 23:37:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-02-06 23:37:36 +0000 |
| commit | 2b30ea500ee9e6fc3ed4d26d7c2efbc33733378e (patch) | |
| tree | 22a3820d44c95d28cf9e2e9e4352f1d64e8ed40a /lib | |
| parent | 3157e0b18ba439ce51e3aae2242c026644c6f87a (diff) | |
proof-unicode-tokens-set-global: call proof-unicode-tokens-init.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions