summaryrefslogtreecommitdiff
path: root/metapost/context/base/mpii/mp-tool.mpii
diff options
context:
space:
mode:
authorHans Hagen <pragma@wxs.nl>2017-10-24 11:13:27 +0200
committerContext Git Mirror Bot <phg42.2a@gmail.com>2017-10-24 11:13:27 +0200
commitd91c37679b13162a4ead85abbe564090b2e1b51c (patch)
tree01b9c9e5a2437c7381b0f6d109cd51f0f6bed84e /metapost/context/base/mpii/mp-tool.mpii
parentcb218b728af372a1ed6c9188765022dc057799ac (diff)
downloadcontext-d91c37679b13162a4ead85abbe564090b2e1b51c.tar.gz
2017-10-24 10:36:00
Diffstat (limited to 'metapost/context/base/mpii/mp-tool.mpii')
-rw-r--r--metapost/context/base/mpii/mp-tool.mpii1
1 files changed, 1 insertions, 0 deletions
diff --git a/metapost/context/base/mpii/mp-tool.mpii b/metapost/context/base/mpii/mp-tool.mpii
index a3300f5bb..562139fed 100644
--- a/metapost/context/base/mpii/mp-tool.mpii
+++ b/metapost/context/base/mpii/mp-tool.mpii
@@ -2816,3 +2816,4 @@ enddef;
extra_endfig := extra_endfig & "mfun_apply_max_dimensions ;" ;
let dump = relax ;
+