diff options
author | Hans Hagen <pragma@wxs.nl> | 2020-07-13 17:21:34 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2020-07-13 17:21:34 +0200 |
commit | b821116421f0d942052ad225f4ea62aef2696817 (patch) | |
tree | 36fc7ba6a85e4dc34617f1ff89bbfef288bfa51d /doc/context/sources/general/manuals/mk/mk-environment.tex | |
parent | b4260c7c04f7e82a9987b7bb758040853ebc464e (diff) | |
download | context-b821116421f0d942052ad225f4ea62aef2696817.tar.gz |
2020-07-13 16:31:00
Diffstat (limited to 'doc/context/sources/general/manuals/mk/mk-environment.tex')
-rw-r--r-- | doc/context/sources/general/manuals/mk/mk-environment.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/context/sources/general/manuals/mk/mk-environment.tex b/doc/context/sources/general/manuals/mk/mk-environment.tex index 3472f3b04..bcbfa0851 100644 --- a/doc/context/sources/general/manuals/mk/mk-environment.tex +++ b/doc/context/sources/general/manuals/mk/mk-environment.tex @@ -8,6 +8,8 @@ \usemodule[timing] +\usemodule[obsolete-tokens] + \useMPlibrary[dum] \dontcomplain |