summaryrefslogtreecommitdiff
path: root/source/luametatex/tools/mp.patch.lua
diff options
context:
space:
mode:
authorHans Hagen <pragma@wxs.nl>2022-10-14 10:56:48 +0200
committerContext Git Mirror Bot <phg@phi-gamma.net>2022-10-14 10:56:48 +0200
commit0aa93a6d31a45d8df2d8516567b98967ce04f183 (patch)
tree7e1942650512f1994ca56c1eba245973240d4b71 /source/luametatex/tools/mp.patch.lua
parentc161b7d6fe142231346cc1844e6e27c0ab7718c1 (diff)
downloadcontext-0aa93a6d31a45d8df2d8516567b98967ce04f183.tar.gz
2022-10-14 10:15:00
Diffstat (limited to 'source/luametatex/tools/mp.patch.lua')
0 files changed, 0 insertions, 0 deletions