diff options
Diffstat (limited to 'indexing/xindex/lualatex/xindex-pretty.lua')
-rw-r--r-- | indexing/xindex/lualatex/xindex-pretty.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/indexing/xindex/lualatex/xindex-pretty.lua b/indexing/xindex/lualatex/xindex-pretty.lua index 02d95ff596..80699a0313 100644 --- a/indexing/xindex/lualatex/xindex-pretty.lua +++ b/indexing/xindex/lualatex/xindex-pretty.lua @@ -3,11 +3,11 @@ -- Also provides a sandboxed Lua table reader and -- a function to present large numbers in human-friendly format. -- --- $Id: xindex-pretty.lua 13 2021-08-15 10:49:40Z hvoss $ +-- $Id: xindex-pretty.lua 19 2022-01-22 09:59:15Z hvoss $ ----------------------------------------------------------------------- if not modules then modules = { } end modules ['xindex-pretty'] = { - version = 0.34, + version = 0.35, comment = "dump a Lua table for debugging", author = "Steve Donovan", copyright = "Steve Donovan", |