diff options
author | Norbert Preining <norbert@preining.info> | 2019-11-01 03:00:46 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-11-01 03:00:46 +0000 |
commit | 61b8d58232b999b6cc966aee9152fb86bbb759cd (patch) | |
tree | 61c65799f06cec526c81cc517c0ee68bc4323021 /indexing/xindex/scripts/xindex.lua | |
parent | 038f3d26e9b2f40210a14133c33f1d2dfb5261bf (diff) |
CTAN sync 201911010300
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 8183b32bb5..8ab76b494d 100755 --- a/indexing/xindex/scripts/xindex.lua +++ b/indexing/xindex/scripts/xindex.lua @@ -8,7 +8,7 @@ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.18 + local version = 0.19 xindex.version = version --xindex.self = "xindex" |