diff options
author | Marius <mariausol@gmail.com> | 2012-05-19 01:20:14 +0300 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2012-05-19 01:20:14 +0300 |
commit | 3821b4213bf250551cfa122313ae2c56f9923533 (patch) | |
tree | 291a4a12a622e6d081ba8b709ab3c03780e5d445 /metapost/context/base/mp-butt.mpiv | |
parent | eda07bb8527bbb5d411be813ccd1e916c83e9d5b (diff) | |
download | context-3821b4213bf250551cfa122313ae2c56f9923533.tar.gz |
beta 2012.05.18 23:50
Diffstat (limited to 'metapost/context/base/mp-butt.mpiv')
-rw-r--r-- | metapost/context/base/mp-butt.mpiv | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metapost/context/base/mp-butt.mpiv b/metapost/context/base/mp-butt.mpiv index 5c1edd42e..df7e9e4fd 100644 --- a/metapost/context/base/mp-butt.mpiv +++ b/metapost/context/base/mp-butt.mpiv @@ -1,5 +1,5 @@ %D \module -%D [ file=mp-butt.mp, +%D [ file=mp-butt.mpiv, %D version=2000.05.31, %D title=\CONTEXT\ \METAPOST\ graphics, %D subtitle=buttons, |