diff options
| author | Hans Hagen <pragma@wxs.nl> | 2023-02-07 19:22:47 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-02-07 19:22:47 +0100 |
| commit | d643b65f7ab840157f538914b07f8d3cddf94bec (patch) | |
| tree | 7e81499d7428d62e640d5ec3e159f8d93ec4e52d /scripts | |
| parent | 0d0874ba797ee44f9fa53ed0fe95d7a863bf2f1b (diff) | |
| download | context-d643b65f7ab840157f538914b07f8d3cddf94bec.tar.gz | |
2023-02-07 19:04:00
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/lua/mtx-fonts.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-fonts.lua b/scripts/context/lua/mtx-fonts.lua index ab04cec13..37107ea1e 100644 --- a/scripts/context/lua/mtx-fonts.lua +++ b/scripts/context/lua/mtx-fonts.lua @@ -16,7 +16,7 @@ local lower, gsub = string.lower, string.gsub local concat = table.concat local write_nl = (logs and logs.writer) or (texio and texio.write_nl) or print -local otlversion = 3.132 +local otlversion = 3.133 local helpinfo = [[ <?xml version="1.0"?> |