diff options
author | Hans Hagen <pragma@wxs.nl> | 2023-05-07 16:54:07 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-05-07 16:54:07 +0200 |
commit | 51156ffe8b1434d9c1896f12a59554cbe877ee3d (patch) | |
tree | 9b7f63933469eb41dadca4825da317d1c2839990 /source/luametatex/tools/mp.patch.lua | |
parent | cc6d486ffa3fad4ffb698ad5ccbd5c5f4ebc6a00 (diff) | |
download | context-51156ffe8b1434d9c1896f12a59554cbe877ee3d.tar.gz |
2023-05-07 16:28:00
Diffstat (limited to 'source/luametatex/tools/mp.patch.lua')
0 files changed, 0 insertions, 0 deletions