diff options
Diffstat (limited to 'metapost/context/base/mp-tool.mpii')
| -rw-r--r-- | metapost/context/base/mp-tool.mpii | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metapost/context/base/mp-tool.mpii b/metapost/context/base/mp-tool.mpii index 96932d58a..8d8c9d920 100644 --- a/metapost/context/base/mp-tool.mpii +++ b/metapost/context/base/mp-tool.mpii @@ -1,5 +1,5 @@ %D \module -%D [ file=mp-tool.mp, +%D [ file=mp-tool.mpii, %D version=1998.02.15, %D title=\CONTEXT\ \METAPOST\ graphics, %D subtitle=auxiliary macros, |