diff options
Diffstat (limited to 'metapost/context/base/mpii/mp-tool.mpii')
| -rw-r--r-- | metapost/context/base/mpii/mp-tool.mpii | 1 |
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 ; + |