summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorHans Hagen <pragma@wxs.nl>2021-05-20 17:05:45 +0200
committerContext Git Mirror Bot <phg@phi-gamma.net>2021-05-20 17:05:45 +0200
commit4e863080ff7d71e04f861ab33046e7e799a8a8c6 (patch)
tree2e7b188c7873549d00c1ed5c8f3de006f4cf99e7 /scripts
parentf0a7f858266c83825b2c8f6e9731d3c21abd3f9f (diff)
downloadcontext-4e863080ff7d71e04f861ab33046e7e799a8a8c6.tar.gz
2021-05-20 15:59: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 73985bf9b..8abfee0cb 100644
--- a/scripts/context/lua/mtx-fonts.lua
+++ b/scripts/context/lua/mtx-fonts.lua
@@ -16,7 +16,7 @@ local lower = string.lower
local concat = table.concat
local write_nl = (logs and logs.writer) or (texio and texio.write_nl) or print
-local otlversion = 3.115
+local otlversion = 3.116
local helpinfo = [[
<?xml version="1.0"?>