diff options
author | Norbert Preining <norbert@preining.info> | 2019-10-03 03:00:57 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-10-03 03:00:57 +0000 |
commit | 93c3758895674cc9ea3e8aaeeb3cf5d1bdc0e3be (patch) | |
tree | 5150bfff26491c4e57ddff629e62b4066295a925 /indexing/xindex/scripts | |
parent | d94b7a8c132734a1bc4046d54a75c7882c4c2619 (diff) |
CTAN sync 201910030300
Diffstat (limited to 'indexing/xindex/scripts')
-rwxr-xr-x | indexing/xindex/scripts/xindex.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/indexing/xindex/scripts/xindex.lua b/indexing/xindex/scripts/xindex.lua index ee891e052f..fb48a3d748 100755 --- a/indexing/xindex/scripts/xindex.lua +++ b/indexing/xindex/scripts/xindex.lua @@ -8,7 +8,7 @@ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.14 + local version = 0.16 xindex.version = version --xindex.self = "xindex" |