summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorHans Hagen <pragma@wxs.nl>2022-12-05 23:11:09 +0100
committerContext Git Mirror Bot <phg@phi-gamma.net>2022-12-05 23:11:09 +0100
commit265ba2a85e0945a37972e22f23bcaac16d6c08a1 (patch)
tree356963c1df5c5ed8a6189eeb3346970081a29af4 /scripts
parent08fa92c1c94d9faddee48590a1a20506e89c191c (diff)
downloadcontext-265ba2a85e0945a37972e22f23bcaac16d6c08a1.tar.gz
2022-12-05 18:51:00
Diffstat (limited to 'scripts')
-rw-r--r--scripts/context/lua/mtx-fonts.lua2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-fonts.lua b/scripts/context/lua/mtx-fonts.lua
index a7cf817d5..1a677cb26 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.130
+local otlversion = 3.131
local helpinfo = [[
<?xml version="1.0"?>