diff options
author | Hans Hagen <pragma@wxs.nl> | 2012-05-18 23:50:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2012-05-18 23:50:00 +0200 |
commit | 2895f6edd9f6692d7941a84e30ca06254338dfa8 (patch) | |
tree | 8c848c8151e5bd5de1d3ff00953061fc06ac4810 /metapost/context/base/mp-butt.mpii | |
parent | feb79ebf08de695a49daa0e7bfe0b991b81fd3e2 (diff) | |
download | context-2895f6edd9f6692d7941a84e30ca06254338dfa8.tar.gz |
beta 2012.05.18 23:50
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, |