diff options
author | Norbert Preining <norbert@preining.info> | 2023-01-21 03:01:20 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-01-21 03:01:20 +0000 |
commit | 94c0d48361932b4beca57cc5609d26a46270dfeb (patch) | |
tree | ffc783a6c17a404847f0b7b46f3d49912497add3 /indexing/xindex/scripts/xindex.lua | |
parent | 6d3235d032cbed920059ab39370928067056573a (diff) |
CTAN sync 202301210301
Diffstat (limited to 'indexing/xindex/scripts/xindex.lua')
-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 2b6123cdb2..de8016cc1e 100755 --- a/indexing/xindex/scripts/xindex.lua +++ b/indexing/xindex/scripts/xindex.lua @@ -10,7 +10,7 @@ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.46 + local version = 0.47 xindex.version = version --xindex.self = "xindex" |