diff options
| -rw-r--r-- | luaotfload-parsers.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/luaotfload-parsers.lua b/luaotfload-parsers.lua index 42a43aa..51d251c 100644 --- a/luaotfload-parsers.lua +++ b/luaotfload-parsers.lua @@ -56,6 +56,7 @@ local lfsisdir = lfs.isdir local dot = P"." local colon = P":" +local semicolon = P";" local comma = P"," local noncomma = 1 - comma local slash = P"/" @@ -476,7 +477,7 @@ local check_garbage = function (_,i, garbage) return false end -local featuresep = comma +local featuresep = comma + semicolon --- modifiers --------------------------------------------------------- --[[doc-- |