diff options
Diffstat (limited to 'metapost/context/base/mp-butt.mpii')
-rw-r--r-- | metapost/context/base/mp-butt.mpii | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metapost/context/base/mp-butt.mpii b/metapost/context/base/mp-butt.mpii index 5c1edd42e..107886bb5 100644 --- a/metapost/context/base/mp-butt.mpii +++ b/metapost/context/base/mp-butt.mpii @@ -1,5 +1,5 @@ %D \module -%D [ file=mp-butt.mp, +%D [ file=mp-butt.mpii, %D version=2000.05.31, %D title=\CONTEXT\ \METAPOST\ graphics, %D subtitle=buttons, |