diff options
| author | Hans Hagen <pragma@wxs.nl> | 2018-07-10 16:30:53 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-07-10 16:30:53 +0200 |
| commit | ff693671b6540fa81d2ad7aecdbe786a4df97335 (patch) | |
| tree | 979066b446d6d47fcec40fa7da9978c31a2bf802 /tex/context/base/mkiv/meta-ini.lua | |
| parent | f58860178fcd1497d52acaa3cb2ceda7531e46ac (diff) | |
| download | context-ff693671b6540fa81d2ad7aecdbe786a4df97335.tar.gz | |
2018-07-10 16:00:00
Diffstat (limited to 'tex/context/base/mkiv/meta-ini.lua')
| -rw-r--r-- | tex/context/base/mkiv/meta-ini.lua | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tex/context/base/mkiv/meta-ini.lua b/tex/context/base/mkiv/meta-ini.lua index 6c4768671..f320efe20 100644 --- a/tex/context/base/mkiv/meta-ini.lua +++ b/tex/context/base/mkiv/meta-ini.lua @@ -117,23 +117,23 @@ do local data = false - function mp.start_saving_data(n) + function mp.mf_start_saving_data(n) data = { } end - function mp.stop_saving_data() + function mp.mf_stop_saving_data() if data then -- nothing end end - function mp.finish_saving_data() + function mp.mf_finish_saving_data() if data then -- nothing end end - function mp.save_data(str) + function mp.mf_save_data(str) if data then data[#data+1] = str end |