diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-05-14 03:10:20 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-05-14 03:10:20 +0200 |
| commit | b29553f008e315297b56570fa5ef303b1fda39d1 (patch) | |
| tree | 0d44d3fa5d4be3e98411703f1566b70d71b5c0c4 /metapost | |
| parent | c364453fcfff40c1a300b4b6d45bfe25257f8e8d (diff) | |
| download | context-b29553f008e315297b56570fa5ef303b1fda39d1.tar.gz | |
2016-05-14 02:25:00
Diffstat (limited to 'metapost')
| -rw-r--r-- | metapost/context/base/mpiv/mp-page.mpiv | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/metapost/context/base/mpiv/mp-page.mpiv b/metapost/context/base/mpiv/mp-page.mpiv index 4ccf4448e..07d264f60 100644 --- a/metapost/context/base/mpiv/mp-page.mpiv +++ b/metapost/context/base/mpiv/mp-page.mpiv @@ -665,6 +665,7 @@ enddef ; % for the moment we put these here: +string RuleOption ; RuleOption := "" ; numeric RuleWidth ; RuleWidth := 0 ; numeric RuleHeight ; RuleHeight := 0 ; numeric RuleDepth ; RuleDepth := 0 ; |