diff options
author | Hans Hagen <pragma@wxs.nl> | 2007-03-22 13:34:00 +0100 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2007-03-22 13:34:00 +0100 |
commit | 307dc2a385a62e9c390e045f39c1b288631c9481 (patch) | |
tree | e0adef349da6d29672bed7ba802b33744f0b0963 /metapost | |
parent | 8a354e9fa5309910252aee3e7c5fdb4303deae45 (diff) | |
download | context-307dc2a385a62e9c390e045f39c1b288631c9481.tar.gz |
stable 2007.03.22 13:34
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 ; |