summaryrefslogtreecommitdiff
path: root/indexing/xindex/scripts
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-06-12 03:02:39 +0000
committerNorbert Preining <norbert@preining.info>2020-06-12 03:02:39 +0000
commitc2fde990c352049f8aa6bc9629fee95bad518cde (patch)
tree19a9e8ae604d0ec51d24793dca25bbec46110fe3 /indexing/xindex/scripts
parente3a95d205140a9c1ec8bc34f9a6125d8074f5e58 (diff)
CTAN sync 202006120302
Diffstat (limited to 'indexing/xindex/scripts')
-rwxr-xr-xindexing/xindex/scripts/xindex.lua2
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"