diff options
Diffstat (limited to 'metapost')
| -rw-r--r-- | metapost/context/base/mp-tool.mp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/metapost/context/base/mp-tool.mp b/metapost/context/base/mp-tool.mp index fca61cb34..01114bfac 100644 --- a/metapost/context/base/mp-tool.mp +++ b/metapost/context/base/mp-tool.mp @@ -2371,6 +2371,12 @@ enddef ; % p % enddef ; +%D Handy: + +def break = + exitif true fi ; +enddef ; + % done endinput ; |