diff options
Diffstat (limited to 'metapost/context/base/mp-tool.mpii')
-rw-r--r-- | metapost/context/base/mp-tool.mpii | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/metapost/context/base/mp-tool.mpii b/metapost/context/base/mp-tool.mpii index 7b46c4725..96932d58a 100644 --- a/metapost/context/base/mp-tool.mpii +++ b/metapost/context/base/mp-tool.mpii @@ -2562,7 +2562,3 @@ primarydef p snapped s = fi ; ) p enddef ; - -% done - -endinput ; |