diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-06-15 21:30:30 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-06-15 21:30:30 +0200 |
commit | 3d9fb7a20b16edd5babed9a56ca70662c0fcb011 (patch) | |
tree | 7fa932570d89b22a639c3062d07c6adb1841f5ae /scripts | |
parent | 9db0c39e07509226287ef0075dfda8d2386416ed (diff) | |
download | context-3d9fb7a20b16edd5babed9a56ca70662c0fcb011.tar.gz |
2016-06-15 20:23: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 6eb7eabbf..c086d4b58 100644 --- a/scripts/context/lua/mtx-fonts.lua +++ b/scripts/context/lua/mtx-fonts.lua @@ -15,7 +15,7 @@ local nameonly, basename, joinpath, collapsepath = file.nameonly, file.basename, local lower = string.lower local otfversion = 2.826 -local otlversion = 3.022 +local otlversion = 3.023 local helpinfo = [[ <?xml version="1.0"?> |