diff options
author | Norbert Preining <norbert@preining.info> | 2020-06-12 03:02:39 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-06-12 03:02:39 +0000 |
commit | c2fde990c352049f8aa6bc9629fee95bad518cde (patch) | |
tree | 19a9e8ae604d0ec51d24793dca25bbec46110fe3 /indexing/xindex/scripts | |
parent | e3a95d205140a9c1ec8bc34f9a6125d8074f5e58 (diff) |
CTAN sync 202006120302
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 d6d53ff0e3..984d6fb8e3 100755 --- a/indexing/xindex/scripts/xindex.lua +++ b/indexing/xindex/scripts/xindex.lua @@ -8,7 +8,7 @@ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.24 + local version = 0.25 xindex.version = version --xindex.self = "xindex" |