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.mpii | |
| parent | eda07bb8527bbb5d411be813ccd1e916c83e9d5b (diff) | |
| download | context-3821b4213bf250551cfa122313ae2c56f9923533.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, |