diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-05-17 19:01:59 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-05-17 19:01:59 +0200 |
commit | 2e8819dad63db17febca68fd6b7ba9a06f9c50b5 (patch) | |
tree | f5aa568ff0149001855d6899a91ab3f9984b2dd7 /metapost/context/base/mpiv | |
parent | 77e216e323271fb85d508b7206b13c980540b74b (diff) | |
download | context-2e8819dad63db17febca68fd6b7ba9a06f9c50b5.tar.gz |
2018-05-17 18:39:00
Diffstat (limited to 'metapost/context/base/mpiv')
-rw-r--r-- | metapost/context/base/mpiv/mp-tool.mpiv | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/metapost/context/base/mpiv/mp-tool.mpiv b/metapost/context/base/mpiv/mp-tool.mpiv index e2cd3e363..566f71056 100644 --- a/metapost/context/base/mpiv/mp-tool.mpiv +++ b/metapost/context/base/mpiv/mp-tool.mpiv @@ -17,6 +17,8 @@ boolean context_tool ; context_tool := true ; let @## = @# ; +let noexpand = quote ; + %D New, version number testing: %D %D \starttyping |