summaryrefslogtreecommitdiff
path: root/source/luametatex/tools/mp.patch.lua
diff options
context:
space:
mode:
authorHans Hagen <pragma@wxs.nl>2023-04-15 01:06:07 +0200
committerContext Git Mirror Bot <phg@phi-gamma.net>2023-04-15 01:06:07 +0200
commit657457ef4a08c1f000f272e00f654f4064cc37bd (patch)
tree2f1f9a6a68aa8bc0679ff1c912e9b2476960e667 /source/luametatex/tools/mp.patch.lua
parent3b909ab613140e7a9c824c434b642f0578473a6d (diff)
downloadcontext-657457ef4a08c1f000f272e00f654f4064cc37bd.tar.gz
2023-04-15 00:22:00
Diffstat (limited to 'source/luametatex/tools/mp.patch.lua')
0 files changed, 0 insertions, 0 deletions