diff options
| author | Elie Roux <elie.roux@telecom-bretagne.eu> | 2010-05-24 22:56:01 +0300 |
|---|---|---|
| committer | Elie Roux <elie.roux@telecom-bretagne.eu> | 2010-05-24 22:56:01 +0300 |
| commit | 6441805f0a6e60d15cf4969cf5507eeecac88bc6 (patch) | |
| tree | d0963b6c8f60a65ad15ea4eff952280bd8ffb9fc /alt_getopt.lua | |
| parent | 93afaacb9a5e835f397a46a16286282f19fcf113 (diff) | |
| download | luaotfload-6441805f0a6e60d15cf4969cf5507eeecac88bc6.tar.gz | |
Changing the test to see if a font has already been loaded
On my system a lot of fonts were indexed two times, this seems to fix it. It's not perfect but that's all we can do with the current database (please tell me if it introduces some regressions).
Diffstat (limited to 'alt_getopt.lua')
0 files changed, 0 insertions, 0 deletions