diff options
Diffstat (limited to 'indexing/xindex/lualatex/xindex-pretty.lua')
-rw-r--r-- | indexing/xindex/lualatex/xindex-pretty.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/indexing/xindex/lualatex/xindex-pretty.lua b/indexing/xindex/lualatex/xindex-pretty.lua index 8f2155c803..f8fc65b8bc 100644 --- a/indexing/xindex/lualatex/xindex-pretty.lua +++ b/indexing/xindex/lualatex/xindex-pretty.lua @@ -3,9 +3,11 @@ -- Also provides a sandboxed Lua table reader and -- a function to present large numbers in human-friendly format. -- +-- $Id: xindex-pretty.lua 4 2021-07-07 07:25:04Z hvoss $ +----------------------------------------------------------------------- if not modules then modules = { } end modules ['xindex-pretty'] = { - version = 0.29, + version = 0.30, comment = "dump a Lua table for debugging", author = "Steve Donovan", copyright = "Steve Donovan", |