diff options
Diffstat (limited to 'metapost/context/base/mp-tool.mpii')
-rw-r--r-- | metapost/context/base/mp-tool.mpii | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/metapost/context/base/mp-tool.mpii b/metapost/context/base/mp-tool.mpii index f363f655e..8d8c9d920 100644 --- a/metapost/context/base/mp-tool.mpii +++ b/metapost/context/base/mp-tool.mpii @@ -98,19 +98,6 @@ vardef ddecimal primary p = decimal xpart p & " " & decimal ypart p enddef ; -%D Plain compatibility - -string plain_compatibility_data ; plain_compatibility_data := "" ; - -def startplaincompatibility = - begingroup ; - scantokens plain_compatibility_data ; -enddef ; - -def stopplaincompatibility = - endgroup ; -enddef ; - % is now built in % extra_endfig := extra_endfig @@ -2575,5 +2562,3 @@ primarydef p snapped s = fi ; ) p enddef ; - -let dump = relax ; |