diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-05 20:59:46 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-05 20:59:46 +0100 |
| commit | b697b1fa3322d1ce40cc6b9149363b15ebe6f9f7 (patch) | |
| tree | 819d9e4574e412bef36335b5394bf1eb5c911fcf | |
| parent | 74207efa91378a06eea07e24f65346e9e4a4eb3c (diff) | |
| download | luaotfload-b697b1fa3322d1ce40cc6b9149363b15ebe6f9f7.tar.gz | |
[db] fix damage suffered during last merge
| -rw-r--r-- | luaotfload-database.lua | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index 1deca07..ad954a2 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -2526,12 +2526,6 @@ local generate_filedata = function (mappings) barename = filenameonly (fullpath) subfont = entry.subfont end - end - - local addmap = function (lst) - --- this will overwrite existing entries - for i=1, #lst do - local idx, base, bare, intexmf, full = unpack(lst[i]) entry.index = index |