diff options
| author | Hans Hagen <pragma@wxs.nl> | 2011-03-25 18:03:00 +0100 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2011-03-25 18:03:00 +0100 |
| commit | 4ed30744220cf0763f968c837b0ff7dd367f19b2 (patch) | |
| tree | 28d1dce431e679b3a6d28edef78cb38096d4c94f /tex/context/base/util-mrg.lua | |
| parent | 3c5dbaefc44f38d6da23a7db2c06a0a4af0996fa (diff) | |
| download | context-4ed30744220cf0763f968c837b0ff7dd367f19b2.tar.gz | |
beta 2011.03.25 18:03
Diffstat (limited to 'tex/context/base/util-mrg.lua')
| -rw-r--r-- | tex/context/base/util-mrg.lua | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/tex/context/base/util-mrg.lua b/tex/context/base/util-mrg.lua index 3d8e79d93..acf04fead 100644 --- a/tex/context/base/util-mrg.lua +++ b/tex/context/base/util-mrg.lua @@ -12,13 +12,13 @@ local gsub, format = string.gsub, string.format local concat = table.concat local type, next = type, next -utilities = utilities or {} -utilities.merger = utilities.merger or { } -- maybe mergers -utilities.report = logs and logs.reporter("system") or print +utilities = utilities or {} +utilities.merger = utilities.merger or { } -- maybe mergers +utilities.report = logs and logs.reporter("system") or print -local merger = utilities.merger +local merger = utilities.merger -merger.strip_comment = true +merger.strip_comment = true local m_begin_merge = "begin library merge" local m_end_merge = "end library merge" |